Teaching
| Fall 2008 | CS 487 | Secure Computer Systems |
| Spring 2008 | CS473/MCS411 | Compiler Design |
Past Teaching
| Fall 2007 | CS491 | Secure Computer Systems |
| Spring 2007 | None | |
| Fall 2006 | CS491 | Secure Computer Systems |
| Fall 2006 | CS473 / MCS411 | Compiler Design |
| Spring 2006 | CS473 / MCS411 | Compiler Design |
| Fall 2005 | CS 491 | Building Secure Systems |
| Spring 2005 | CS473 / MCS411 | Compiler Design |
