Teaching

As Instructor

  • COL750: Foundations of Automatic Verification [Course page]
    January 2024 – May 2024, IIT Delhi.
    Instructor.

  • COL876: Special Topics in Formal Methods [Course page]
    July 2023 – Dec 2023, IIT Delhi.
    Instructor.

  • Introduction to Introduction to Programming Workshop [Youtube playlist; Discord server]
    June 2022 – present, University of California Santa Cruz/online.
    Instructor.

  • Formal Methods for Cryptographic Protocols [Link]
    August – December 2017, Chennai Mathematical Institute.
    Co-instructor (with Prof. S P Suresh).

  • Security Protocol Design and Verification
    June 2016, ACM Summer School on Information and Systems Security, VIT, Vellore.
    Co-instructor (with Prof. S P Suresh).

  • Training on Functional Programming with Haskell [News article]
    September 2016, National Institute of Engineering, Mysuru.
    Co-instructor (with Prof. S P Suresh).

As Teaching Assistant

  • Programming Language Concepts.
    January – April 2015, Chennai Mathematical Institute.
    TA for Prof. S P Suresh.

  • Programming in Haskell.
    August – December 2014, Chennai Mathematical Institute.
    TA for Prof. S P Suresh.

  • EECS 376: Foundations of Computer Science.
    August – December 2011, University of Michigan, Ann Arbor.
    GSI for Prof. Kevin Compton.

  • EECS 487: Interactive Computer Graphics.
    January – April 2011, University of Michigan, Ann Arbor.
    GSI for Prof. Sugih Jamin.