Cesare Tinelli's Teaching
Spring 2021
CS:4350 Logic in Computer Science, CLC seminar
Office Hours
Zoom Room 884 316 858,Mon 3:30pm-5pm, Thu 13:30pm-3pm, 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:4350 (22c:188) | Logic in Computer Science | Spring 2021, Fall 2010 |
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 2020, Fall 2017, Fall 2015, |