List of courses taught:

  • Recent (@ CU Boulder)
    • CSCI 7000 (Automata for Verification, Synthesis, and Learning): Fall 2019.
    • CSCI 2270 (Data Structures): Spring 2019, 2020, 2021, 20202.
    • CSCI 5854 (Verification and Control of Cyber-Physical Systems): Spring 2018.
    • CSCI 5454 (Design and Analysis of Algorithms) : Fall 2017.
    • CSCI 5444 (Theory of Computation): Spring 2017, Fall 2018, Fall 2020
    • CSCI 3434 (Theory of Computation): Fall 2016.