Teaching

Teaching at IIT Kanpur

Fall 2017 CS652: Computer Aided Verification
Winter 2017 CS220: Computer Organization
Fall 2016 CS637: Embedded and Cyber-Physical Systems
Winter 2016 CS698I: 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