Teaching

  • CSCI 310 Introduction to Software Engineering (Fall 2019, Fall 2018)
  • CSCI 360 Introduction to Artificial Intelligence (Spring 2019)
  • CSCI 599 Automated Reasoning and Verification (Fall 2017)
  • CSCI 699 Introduction to Software Synthesis (Fall 2017)