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