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 2015Fall 2013Fall 2013
CS:3820 (22c:111) Programming Language Concepts Fall 2018Fall 2016
CS:4350 (22c:188) Logic in Computer Science Spring 2021, Fall 2010
CS:4420 (22c:145) Artificial Intelligence Spring 2019Spring 2018Spring 2017
CS:4980 Foundations of Embedded Systems Spring 2020Spring 2016
CS:5810 (22c:181) Formal Methods in Software Engineering Fall 2020Fall 2017Fall 2015


Main Page
Education

  Teaching

  Advisees

  Prospective
  Students