Teaching

    Undergraduate

    Graduate

  • ECE650 - Methods and Tools for Software Engineering (F2021)
  • ECE653 - Software Testing, Quality Assurance, and Maintenance (S2020, S2021)
  • ECE750-T28 - Computer-aided Reasoning (F2013, W2015, F2016, F2017, F2018, F2021)
  • Logic seminar - (W2013)