Cesare Tinelli's Teaching
Spring 2022
CS:4350 Logic in Computer Science, CLC seminar
Drop-in Hours
Zoom Room 884 316 858,Tue 3:00pm-4:30pm, Thu 1:30pm-3:00pm, and by appointment.
Recent Courses
CS:3820 | Programming Language Concepts | Fall 2018, Fall 2016 |
CS:4350 | Logic in Computer Science | Spring 2022, Spring 2021 |
CS:4420 | Artificial Intelligence | Spring 2019, Spring 2018, Spring 2017 |
CS:4980 | Foundations of Embedded Systems | Spring 2020, Spring 2016 |
CS:5810 | Formal Methods in Software Engineering | Fall 2021, Fall 2020, Fall 2017 |