COMP 596 - Topics in Computer Science

(3 credits)
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.