• Vita (CV)
• Computer Science
• Mathematics

Resolve

• Challenge
• ReSoLVe Verification - Powerpoint
• Verification Keynote

• CS 349, Software Engineering
• Math 102 - Elements of Statistics
• CS 110, Introduction to Computer Science
• CS 173, Intermediate Computer Science
• CS 200
• CS 271
• CS 272
• CS 334, Theory of Computation, 2004
• CS 349, Software Engineering, 2004, 2007
• CS 349, Software Engineering, 2007
• CS 373, Programming Languages
• CS 373, Theory of Programming Languages
• CS 402 Software Engineering
• CS 402, Graphics, 2005
• FYS101, Great Ideas in CS
• FYS102, History of Computing Technology
• Honors 131 - Cyber Ethics

• CS334 Fall 2001