This semester I'm teaching CS536: Introduction to Compilers.

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

Introduction to Programming (CS302) 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