Courses

  • E0 202: Automated software engineering with machine learning (Jan - Apr 2018, Jan - Apr 2021)

  • E0 302: Topics in software engineering - jointly with Shirish Shevade (Aug - Dec 2017, Aug - Dec 2020, Aug - Dec 2021)

  • 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)