Courses
Spring 2011:
  • G22.3033-011 - Program Semantics, Analysis, and Verification by Abstract Interpretation, Patrick Cousot
Fall 2010:
  • G22.3033-007 - Topics in Automated Deduction, Morgan Deters
Fall 2009:
  • G22.3033-011 - Analysis of Reactive Systems, Algorithmic and Deductive Methods, Amir Pnueli
  • G22.2390-001 - Logic in Computer Science, Clark Barrett
Spring 2009:
  • G22.3033-011 - Program Semantics, Analysis, and Verification by Abstract Interpretation, Patrick Cousot
  • G22.3033-010 - Topics in Automated Deduction, Clark Barrett
Fall 2008:
  • G22.2390-001 - Logic in Computer Science, Clark Barrett & Amir Pnueli
Fall 2007:
  • G22.2390-001 - Logic in Computer Science, Clark Barrett
  • G22.3033-002 - Deductive Verification of Reactive Systems, Amir Pnueli
Spring 2007:
Fall 2006: Spring 2006:
« back  |  home  |  top ^