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 2018Fall 2016
CS:4350 Logic in Computer Science Spring 2022Spring 2021
CS:4420 Artificial Intelligence Spring 2019Spring 2018Spring 2017
CS:4980 Foundations of Embedded Systems Spring 2020Spring 2016
CS:5810 Formal Methods in Software Engineering Fall 2021Fall 2020Fall 2017


Main Page
Education

  Teaching

  Advisees

  Prospective
  Students