Teaching

IIT Madras

• CS6225: Programs and Proofs
  • Spring 2025, Spring 2021, Spring 2020
  • YouTube playlist of the lectures
• CS3300: Compiler Design
  • Monsoon 2022
• CS3100: Paradigms of Programming
  • Monsoon 2020, Monsoon 2019
  • YouTube playlist of the lectures
  • The materials developed for this course were used by others to teach the following courses:
    • Several subsequent offerings of CS3100 at IITM
    • Rutgers CS314 Principles of Programming Languages
    • CU Boulder CSCI7000-11 Spring 2023 Principles of Functional Programming
    • BITS Pilani Principles of Programming Language