Northeastern

• Logic and Computation, CS2800, Fall 2023
• Logic and Computation, CS2800, Fall 2022
• Computer-Aided Reasoning, CS4820, Fall 2022
• Logic and Computation, CS2800, Spring 2022
• Computer-Aided Reasoning, CS4820, Fall 2021
• Logic and Computation, CS2800, Spring 2020
• Logic and Computation, CS2800, Spring 2019
• Computer-Aided Reasoning, CS4820, Fall 2018
• Special Topics in Formal Methods, CS7485, Spring 2018
• Logic and Computation, CS2800, Spring 2018
• Logic and Computation, CS2800, Spring 2017
• Logic and Computation, CS2800, Spring 2016
• Theory of Computation, CS7805, Spring 2016
• Logic and Computation, CS2800, Spring 2015
• Theory of Computation, CS7805, Spring 2015
• Logic and Computation, CS2800, Spring 2013
• Special Topics in Formal Methods, CS7480, Spring 2013
• Logic and Computation, CS2800, Spring 2012
• Logic and Computation, CS2800, Fall 2011
• Logic and Computation, CS2800, Spring 2011
• Computational Logic, CS7480, Fall 2010
• Logic and Computation, CS2800, Spring 2010
• Logic and Computation, CS2800, Fall 2009
• Logic and Computation, CSU290, Spring 2009
• 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