Current and previous courses
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