Typical Classes Taught

  • 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.