CS536: Introduction to Compilers at the University of Wisconsin-Madison

Last year and the year before I taught an informal seminar about automated theorem proving and mechanizing methatheory using the Coq proof assistant.

Computer Programming with Java at Sarah Lawrence College

Fundamentals of Computer Science at The Johns Hopkins Center for Talented Youth Kaneohe, Hawaii site

CS302: Introduction to Programming at the University of Wisconsin-Madison

Teaching Assistant for Programming Languages and Compilers (CS701) under the direction of Professor Charles Fischer at the University of Wisconsin-Madison

Teaching Assistant for Analysis of Software Artifacts (CS706) under the direction of Professor Ben Liblit at the University of Wisconsin-Madison

Grader for Introduction to Modern Algebra (Math441) at the University of Wisconsin-Madison

Grader for Modern Algebra (Math541) at the University of Wisconsin-Madison