Teaching

Courses.

This year — 2026–27

CS 3891/5891 · Spring 2027 · Undergraduate/Graduate (Vanderbilt)

Formal Verification: From Logic to AI


Previous courses

W 2026

Math 9152B — Algebraic Topology II (Western)

W 2026

Math 3152B — Combinatorial Mathematics (Western)

W 2025

Math 9502B — Homotopical Algebra II (Western)

W 2025

Math 4152B/9052B — Algebraic Topology (Western)

F 2023

Math 9501A — Homotopical Algebra (Western)

F 2023

Math 4123A/9023A — Rings and Modules (Western)

F 2023

Math 3020A — Introduction to Abstract Algebra (Western)

F 2021

Math 9501A — Foundations of Stable Homotopy Theory (Western)

F 2021

Math 3020A — Introduction to Abstract Algebra (Western)

W 2021

Math 1120B — Fundamental Concepts in Mathematics (Western)

F 2020

Math 9511A — Category Theory (Western, online)

F 2020

Math 3159A — Introduction to Cryptography (Western, online)

F 2019

Math 9512A — Higher Category Theory (Western)

F 2019

Math 3020A — Introduction to Abstract Algebra (Western)

Su 2019

Math 9511L — Category Theory (Western)

W 2019

Math 2120B — Intermediate Linear Algebra (Western)

W 2019

Math 3159B — Introduction to Cryptography (Western)

Su 2018

Math 4121A — Topology (Western, reading course)

W 2018

Math 2120B — Intermediate Linear Algebra (Western)

F 2017

Math 2155F — Mathematical Structures (Western)

W 2017

Math 3159B/9145B — Introduction to Cryptography (Western)

F 2015

Math 9501A — Categorical Logic (Western)

2014–16

Calculus 1000A / 1301B (Western)

Su 2011

Math 220 — Analytic Geometry and Calculus 1 (Pittsburgh)


Reading seminars

W 2024

Kan Seminar on homotopical algebra

F 2021

Topos theory

2021

Homotopical algebra

W 2019

Factorization homology

W 2018

Localization in homotopy theory

Sp 2017

Stable ∞-categories

F 2016

Higher Category Theory

2016

Homotopy Type Theory


For students

Recommendation letters

Read the policy →