CS 4820—undergraduate
Introduction to Analysis of Algorithms

CS 4814—undergraduate
Introduction to Computational Complexity

COS 597F—graduate seminar
Proofs, beliefs, and algorithms through the lens of sum-of-squares

CS 7800—graduate seminar
Constraint Satisfaction — Approximation and Hardness

CS 4810—undergraduate
Introduction to Theory of Computing

CS 6810—graduate
Theory of Computing

CS 7890
Theory Seminar