| CDA 5416 | Computer-Aided Verification | Fall, 2009 |
| CIS 4930 | Design Automation | Spring, 2009 |
| CDA 5416 | FPGA System Design | Fall, 2008 |
| CDA 5416 | Computer-Aided Verification | Spring, 2008 |
| COT 3100 | Discrete Structures | Fall, 2007 |
| CIS 6930/4930 | Computer-Aided Verification | Spring, 2007 |
| CDA 4253 | FPGA Design | Fall, 2006 |
| CIS 6930/4930 | Computer-Aided Verification | Spring, 2006 |
| CIS 4930 | FPGA Design | Fall, 2005 |
| CIS 6930 | Asynchronous Circuit Design | Spring, 2005 |
| CIS 4930 | FPGA Design | Fall, 2004 |
| Spring, 2009 | A Mini Introduction to Model Checking |