Teaching

IIT Madras

• Monsoon 2022: CS3300 Compiler Design
• Spring 2021: CS6225 Programs and Proofs
  • YouTube playlist of the lectures
• Monsoon 2020: CS3100 Paradigms of Programming
  • YouTube playlist of the lectures
• Spring 2020: CS6225 Programs and Proofs
• Monsoon 2019: CS3100 Paradigms of Programming
  • 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