CS 378 A Formal Model of the Java Virtual Machine (Spring, 2012)
CS 389R Recursion and Induction, I (Fall, 2011)
CS 178H Introduction to CS
Research (Spring, 2011)
CS 313K Logic, Sets, and Functions (Spring, 2010)
CS 395T Topics in Theorem Proving: ACL2 (Fall, 2000)
Return to home page.