Teaching

Teaching at IIT Kanpur

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

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