Teaching

Fall 2020

CS404: Artificial Intelligence

CS502: Automated Reasoning

Spring 2020

CS301: Algorithms

CS504: Knowledge Representation and Reasoning

Other Courses

CS400/CS500: Logic in Computer Science

CS506: Cognitive Robotics

CS526: Motion Planning

CS611: Advanced Topics in Artificial Intelligence



Tell me and I forget. Show me and I remember. Involve me and I understand. (Chinese proverb.)