Teaching

Current Courses

CS 245E: Logic & Computation
Fall 2025

All courses →

Current Students

Cameron Seth
PhD candidate

Avantika Agarwal (coadvised with Shalev Ben-David)
PhD candidate

Nosawaru Efemwonkieke
MMath candidate

Parth Gupta
MMath candidate

All students and alumni →