Cesare Tinelli's Teaching
Fall 2017
CS:4420 Artificial Intelligence
CLC seminar
Office Hours: Mon 2:30 pm - 3:30 pm, Wed 11:00 am - 12:30 pm, Thu 4:00 pm - 5:00 pm 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 2016 |
| CS:4420 (22c:145) | Artificial Intelligence | 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, |