Teaching
SIU
- CS 311 - Theory and Implementation of Programming Languages
- Fall 2018, Spring 2018, Fall 2017
UMD
- CS 5571 - Principles of Programming Languages
- Spring 2016, Spring 2015
- CS 8771 - Advanced Computational Logic
- Spring 2017, Spring 2016
- CS 5541 - Artificial Intelligence
- Fall 2016, Fall 2015, Spring 2015
