• E0 302: Machine learning for software engineering (Aug-Dec 2016) - jointly with Shirish Shevade
    • Probabilistic modeling and analysis of software repositories, Research topics
  • E0 239: Software reliability techniques (Jan-Apr semester since 2015)
    • Smartphone and web programming, Concurrency and security, Static and dynamic analysis, Model checking
  • E0 223: Automated verification (Jan-Apr semester during 2010-2014)
    • Decision procedures, Temporal logic model checking
  • E0 323: Topics in verification
    • [Aug-Dec'14] Field study of software systems and tools
    • [Aug-Dec'13] Advanced program analysis and model checking techniques
    • [Aug-Dec'11] Program synthesis, Specification mining, Algorithm selection (jointly with Satish Chandra)
    • [Aug-Dec'10] Program synthesis, Machine learning, Interprocedural analysis