Cesare Tinelli's Teaching
Spring 2020
CS:4980 Foundations of Embedded Systems, CLC seminar
Office Hours: On Zoom, Tue 2:00pm-3:30pm, Thu 3:30pm-5:00pm, and by appointment.
Recent Courses
| CS:2820 (22c:022) | Object-Oriented Software Development | Spring 2015, Fall 2013, Fall 2013 |
| CS:3820 (22c:111) | Programming Language Concepts | Fall 2018, Fall 2016 |
| CS:4420 (22c:145) | Artificial Intelligence | Spring 2019, Spring 2018, Spring 2017 |
| CS:4980 | Foundations of Embedded Systems | Spring 2020, Spring 2016 |
| CS:5810 (22c:181) | Formal Methods in Software Engineering | Fall 2017, Fall 2015, Fall 2014 |