Mississippi State University

• ECE 9063: Paraller Computer Architecture (Fall 2009)


• ECE 4713: Computer Architecture (Fall 2008, Spring 2009)


• ECE 8990: Automated Verification (Fall 2008)


• ECE 4743: Computer Aided Digital System Design (Fall 2007, Spring 2008)

Vanderbilt University

• EECS 315: Automated Verification


• EECS 375: Discrete Event Systems


• EECS 396: Formal Verification of Software Systems


• EECE 353: Real Time Systems