Current Teaching
In Fall 2026, I'm teaching Automata, Formal Languages, and Computational Complexity (CSC 341) and Tutorial, Grinnell's first-year writing course.
Previous Teaching
In Spring 2026, I taught Automata, Formal Languages, and Computational Complexity (CSC 341).
In Fall 2025, I taught Automata, Formal Languages, and Computational Complexity (CSC 341).
I have held various TA positions at Cornell and Penn. Here is a full list of my teaching positions prior to joining Grinnell:
- Fall 2024: Algorithmic Game Theory (CS 6840)
- Fall 2023: Algorithms (CS 6820)
- Spring 2023: Cryptography (CS 4830/5830)
- Fall 2022: Head TA for Multivariable Calculus for Engineers (MATH 1920)
- Spring 2022: Introduction to Computing (CS 1110)
- Fall 2021: Calculus for Engineers (MATH 1910)
- Spring 2021: Decision Theory (ECON 3810/ECON 6760/CS 5846)
- Fall 2019: Reasoning about Uncertainty (CS 6766)
- Spring 2019: Introduction to Computing (CS 1110)
- Fall 2018: Introduction to Computing (CS 1110)
- Spring 2016-Spring 2018: Mathematical Foundations of Computer Science (CIS 160)
Teaching Materials
- An introductory guide to LaTeX for discrete math students.
- Proof tips for theory of computation students.
- A short reading on the Myhill-Nerode theorem.
- A short reading on zero-knowledge proofs and secure multiparty computation.
- An interactive demo of a zero-knowledge protocol for graph 3-colorability. Make sure to enable macros!