Top:Human/Computer Interaction

Prerequisite: Admission to the MS program in Computer Science or consent of instructor In this course, topics are chosen from program verification, formal semantics, formal language theory, concurrent programming, complexity or algorithms, programming language theory, graphics and other computer science topics. Repeatable for different topics. Offered as topics arise.