Cesare Tinelli's Teaching

Teaching Activities for Spring 2008

Office Hours: Tue 4:00-5:30pm, Fri 2:00-3:30pm, and by appointment.

22c:054	Programming Language Concepts Spring 2000, Fall 1999
22c:145	Artificial Intelligence Fall 2005, Fall 2001, Fall 2000
22c:181	Formal Methods in Software Engineering Spring 2008, Spring 2003
22c:185	Programming Language Foundations (pka 22c:123) Fall 2006, Fall 2003, Fall 2002
22c:196	Topics in Computer Science Spring 2007 (on Logic in Computer Science)
22c:245	Advanced Artificial Intelligence Spring 2006 (on Constraint Processing) Spring 2004 (on Automated Reasoning) Spring 2002 (on Automated Reasoning)
22c:295	Seminar on Artificial Intelligence Spring 2005 (on Decision Procedures) Spring 2003 (on Satisfiability) Spring 2001 (on Constraint-based Reasoning)
22c:296	Seminar on Computer Science Fall 2004 (on Automated Software Verification)