Northeastern

• Topics in Formal Methods, CSG369, Fall 2008
• Logic and Computation, CSU290, Spring 2008
• Decision Procedures for Verification, CSG379, Fall 2007

Georgia Tech

• 8803: Computational Logic, Spring 2007
• 3510: Design and Analysis of Algorithms, Spring 2007
• 8803: Computational Logic, Spring 2006
• 3510: Design and Analysis of Algorithms, Spring 2005
• 8803: Computational Logic, Spring 2005
• 8001: Hardware Verification, Fall 2004
• 8803: Formal Methods, Spring 2004
• 3500: Theory 1, Spring 2004
• 8803: Formal Methods, Spring 2003
• 3220: Processor Design, Fall 2002
• 8803: Formal Modeling and Analysis of Computing Systems, Spring 2002