Cesare Tinelli's Teaching

Fall 2019

No teaching, on Career Development Award

Office Hours: 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: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