CS456 Cryptography: Spring 2025.

CS445 Compiler Construction: Spring 2025.

CS469 Quantum Information and Computation Spring 2025.

CS447 Computer Algorithms: Fall 2024.

CS449 Computational Learning Theory Fall 2024.

CS241 Computer Organization

CS341 Programming Languages

CS344 Data Structures and Algorithms

CS647 Advanced Topics in Algorithms

Harvey Mudd College (Spring 2012): CS81 Computability and Logic, CS181A Cryptography.

Visual quantum walk: miscellaneous projects.
QuaCC (with Max Cutugno and Josh Gordon): github.