CIS 6730: Computer-Aided Verification
, University of Pennsylvania, 2023
Teaching
CIS 5110: Theory of Computation
, University of Pennsylvania, 2022
CS 4810: Introduction to Theory of Computing
, Cornell University, 2019
, University of Pennsylvania, 2023
, University of Pennsylvania, 2022
, Cornell University, 2019