List of courses taught:

• Recent (@ CU Boulder)
  • CSCI 5854 (Verification and Control of Cyber-Physical Systems): Spring 2018
  • CSCI 5454 (Design and Analysis of Algorithms) : Fall 2017
  • CSCI 5444 (Theory of Computation) : Spring 2017
  • CSCI 3434 (Theory of Computation) : Fall 2016
  
  
  
• Older (@ IIT Bombay)
  • CS 226 (Digital Logic Design) : Spring 2014
  • CS 254 (Digital Logic Design Lab) : Spring 2014
  • CS 208 (Automata Theory and Logic) : Spring 2014
  • CS 208 (Automata Theory and Logic) : Spring 2013
  • CS 620 (New Trends in Information Technology) : Autumn 2013
  • CS 208 (Automata Theory and Logic) : Summer 2012