Teaching

Teaching at IIT Kanpur

Winter 2025 CS253: Software Development and Operations
Monsoon 2024 CS637: Embedded and Cyber-Physical Systems *
Winter 2024 CS253: Software Development and Operations *
Monsoon 2023 CS637: Embedded and Cyber-Physical Systems *
Winter 2023 CS253: Software Development and Operations
Monsoon 2022 CS637: Embedded and Cyber-Physical Systems *
Winter 2022 CS253: Software Development and Operations *
Monsoon 2021 CS637: Embedded and Cyber-Physical Systems *
Winter 2021 CS659: Autonomous Cyber-Physical Systems
Monsoon 2020 CS637: Embedded and Cyber-Physical Systems *
Winter 2020 CS638: Formal Methods for Robotics and Automation
Monsoon 2019 CS652: Computer Aided Verification
Winter 2019 CS638: Formal Methods for Robotics and Automation
Monsoon 2018 CS637: Embedded and Cyber-Physical Systems
Winter 2018 ESC101: Fundamentals of Computing
Monsoon 2017 CS652: Computer Aided Verification *
Winter 2017 CS220: Computer Organization
Monsoon 2016 CS637: Embedded and Cyber-Physical Systems *
Winter 2016 CS638: Formal Methods for Robotics and Automation

* These courses have received Director's appreciation for outstanding teaching

Past Teaching Activities

I was a teaching assistant for Software Engineering at UCLA Computer Science Department with
  • Prof. Paul Eggert in Winter 2010
  • Prof. Rupak Majumdar in Spring 2010

    • I was a seminar series speaker on the topic of Distributed Computing at Honeywell Research Lab, Bangalore during August 2005-October 2005.
    lecture slides