CS301: Algorithms
CS400: Logic in Computer Science
CS404: Artificial Intelligence
PROJ102/201: Undergraduate Project (freshman)
ENS491/2: Graduation Project (senior)
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