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