Teaching

Current Teaching in New York

CSc 85200     Fall 2007
Computational Logic Seminar

Past Teaching in New York

CSc 85010     Spring 2007
Justification Logic

CSc 85200     Fall 2006
Seminar in Computational Logic

CSc 85200     Spring 2006
Seminar in Computational Logic

 

CSc 85200     Fall 2005
Seminar in Computational Logic 

CSc 85200     Spring 2005
Seminar in Computational Logic 

CSc 85200     Fall 2004
Seminar in Computational Logic 

CSc 85010     Spring 2004
Proofs and Computations

CSc 85010     Fall 2002

Computational Logic

CSc 74010     Spring 2002

Logical Foundations of Artificial Intelligence