Teaching

• E0 223: Automated Verification (January - April 2012)
  
• E0 323: Topics in Verification (August - December 2011)
  
• E0 223: Automated Verification (January - April 2011)
  
• E0 323: Topics in Verification (August - December 2010)
  
• E0 223: Automated Verification (January - April 2010)