Cesare Tinelli's Teaching
Fall 2018
CS:4420 Artificial Intelligence
CLC seminar
Office Hours: Mon 3:00 pm - 4:00 pm, Wed 11:00 am - 12:30 pm, Thu 2:00 pm - 3:00, 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 | Spring 2018, Fall 2016 |
| CS:4420 (22c:145) | Artificial Intelligence | Spring 2019, Spring 2018, Spring 2017 |
| CS:4980 | Foundations of Embedded Systems | Spring 2016 |
| CS:5810 (22c:181) | Formal Methods in Software Engineering | Fall 2017, Fall 2015, Fall 2014 |