## Teaching Experience

University of Colorado Boulder

- Reading Group: Machine-independent complexity
and formalization in theorem-provers (Spring 2024)
- CSCI 7000-019/020: Topics in Combinatorics, with a view toward Computational
Complexity, Fall 2023
- CSCI 6114: Computational Complexity (new grad course) Fall 2021, Fall 2023
- Reading Group: Information theory, Kolmogorov complexity, communication complexity, & related topics
(Spring-Summer 2023)
- Reading Group: Algebraic & geometric complexity theory (Summer 2022)
- CSCI 4114/5114: Practical Algorithmic Complexity (new course!), Fall 2019, Fall 2020, Fall 2022
- CSCI 3104: Algorithms, Spring 2018, Spring 2019, Spring 2020, Fall 2021, Fall 2022
- CSCI 7000: Topics in CS: Representation theory of the symmetric group, w/ applications to TCS, Fall 2020
- CSCI 7000: Topics in CS: Tensors & Computational Complexity, Fall 2017

Santa Fe Institute

University of Toronto

- Lectures on Geometric Complexity Theory (17 hours), Fall 2012 - Winter 2013

The University of Chicago

- Lecturer, CS 102: Introduction to Programming for the World Wide Web II (in Java/JSP/MySQL/AJAX), Spring 2010
- Lab Instructor, CS 102: Introduction to Programming for the World Wide Web II (in Java/JSP/MySQL), Spring 2009 and Spring 2011
- Lab Instructor, CS 152: Introduction to Computer Science II (in C), Winter 2010
- Lab Instructor, CS 161: Honors Introduction to Computer Science I (in Haskell), Autumn 2009
- Lab Instructor, CS 106: Fundamentals of Computer Programming II (in C++), Winter 2007 and Winter 2008
- Teaching Assistant, CS 281: Introduction to Complexity Theory, Spring 2012
- Teaching Assistant, CS 152: Introduction to Computer Science II (in C), Winter 2012
- Teaching Assistant, CS 122: Computer Science with Applications II (in Java), Winter 2009
- Teaching Assistant, CS 121: Computer Science with Applications I (n Java), Autumn 2008
- Teaching Assistant, CS 271: Discrete Mathematics, Autumn 2006 and Autumn 2007
- Teaching Assistant, CS 154: Introduction to Computer Systems, Spring 2007

Massachusetts Institute of Technology

- Teaching Assistant, 18.510: Introduction to Set Theory and Logic, Fall 2004
- Tutor, Mathematics Department (calculus, differential equations, abstract algebra), Spring 2004
- Grader, 18.01: Calculus I, Fall 2003