Cesare Tinelli's Teaching


Fall 2018

CS:4420 Artificial Intelligence
CLC seminar

Office Hours: Mon 3:00 pm - 4:00 pm, Wed 11:00 am - 12:30 pm, Thu 2:00 pm - 3:00, and by appointment


Recent Courses


CS:2820 (22c:022) Object-Oriented Software Development Spring 2015Fall 2013Fall 2013
CS:3820 (22c:111) Programming Language Concepts Spring 2018Fall 2016
CS:4420 (22c:145) Artificial Intelligence Spring 2019Spring 2018Spring 2017
CS:4980 Foundations of Embedded Systems Spring 2016
CS:5810 (22c:181) Formal Methods in Software Engineering Fall 2017Fall 2015Fall 2014


Main Page
Education

  Teaching

  Advisees

  Prospective
  Students