Cesare Tinelli's Teaching

Teaching Activities for Spring 2013

CLC seminar

Office Hours: By appointment only.

22c:005	Introduction to Computer Science Spring 2009, Fall 2008
22c:022 CS:2820	Object-Oriented Software Development Fall 2012, Fall 2011
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 2011, Spring 2010, Spring 2008, Spring 2003
22c:185	Programming Language Foundations (pka 22c:123) Fall 2006, Fall 2003, Fall 2002
22c:188	Logic in Computer Science Fall 2010
22c:196	Topics in Computer Science Fall 2009 (on Logic 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)