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