Teaching

Undergraduate courses:

CS301: Algorithms

CS400: Logic in Computer Science

CS404: Artificial Intelligence

PROJ102/201: Undergraduate Project (freshman)

ENS491/2: Graduation Project (senior)

Graduate courses:

CS500: Logic in Computer Science

CS502: Automated Reasoning

CS504: Knowledge Representation and Reasoning

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.)