Cesare Tinelli's Teaching

Teaching Activities for Fall 2008

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

22c:005	Introduction to Computer Science Fall 2008
22c:111	Programming Language Concepts (pka 22c:054) Fall 2008, 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)