Teaching

IIT Madras

• 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