Spring 2010
CS 3350: Automata, Computability and Formal Languages
CS 4311: Software Engineering II
CS 4320 / CS 5314: Artificial Intelligence
Fall 2009
CS 4310: Software Engineering I
CS 4375: Theory of Operating Systems