Previous Courses

CS 70: Data Structures and Program Development

Prof., Spring 2012, Harvey Mudd

CS 181B: Domain Specific Languages

Prof., Fall 2011, Harvey Mudd

CS 105: Python

Instructor, Spring 2009, UT Austin

CS 105: Python

Instructor, Spring 2008, UT Austin

CS 345: Programming Languages

Teaching Assistant for William Cook, Spring 2005, UT Austin

CS 341: Automata Theory

Teaching Assistant for Elaine Rich, Fall 2004, UT Austin

CS 336: Analysis of Programs

Teaching Assistant for John Werth, Spring 2003, UT Austin

Resources

I've written a few tutorials and notes as a Teaching Assistant. Here are the ones that people have found the most useful. I welcome any comments and corrections.

• Activation record notes
• How to Use the Pumping Theorem [aka Pumping Lemma]

Note: Most of these were written in the context and vocabulary of the instructors' lectures, so they're not meant to be read by themselves. Still, they might have some use to people outside the class.