Academics:

Spring 2006:

• Fast SAT solvers and Practical Decision Procedures
  

Spring 2005:

• Algorithms (Teaching Assistant)
• Optimizing Compilers for Modern Architectures
• Mathematical Logic II

Fall 2004:

• Secure Software Systems
• Mathematical Logic I
• Computer Networks   

 
Spring 2004:

• Algorithms
• Specification, Verification and Model Checking
  

Fall 2003:

• Type Systems
• Machine Learning

Graduate courses at IIT Bombay:

• Applied Algorithms
• Introduction to Asynchronous Systems
• Quantum Computing
• Formal Specification and Verification of Programs