Teaching

Spring 2017

  • CS402 Introduction to Logic in Computer Science
  • CS101 Introduction to Programming

Autumn 2016

  • CS492B Special Topics in Computer Science: Search Based Software Engineering

Spring 2016

  • CS402 Introduction to Logic in Computer Science

Autumn 2015

  • CS492D Special Topics in Computer Science: Search Based Software Engineering