• E0 202: Automated software engineering with machine learning (Jan - Apr 2018)
  • E0 302: Topics in software engineering - jointly with Shirish Shevade (Aug - Dec 2017)
  • E0 302: Machine learning for software engineering - jointly with Shirish Shevade (Aug - Dec 2016)
    • Probabilistic modeling and analysis of software repositories, Research topics
  • E0 239: Software reliability techniques (Jan-Apr semester during 2015 - 2017)
    • 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
    • Field study of software systems and tools (Aug - Dec 2014)
    • Advanced program analysis and model checking techniques (Aug - Dec 2013)
    • Program synthesis, Specification mining, Algorithm selection - jointly with Satish Chandra (Aug - Dec 2011)
    • Program synthesis, Machine learning, Interprocedural analysis (Aug - Dec 2010)