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

• Tutorial on Computation Theory, Complexity Explorer, released January 2018

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