Fundamental issues in distributed systems. Distributed synchronization and concurrency control. Protection and security. Robust distributed systems. Recent research results are presented.
Students design and implement portions of a three-dimensional graphics package.
3-D viewing, geometric modeling, image synthesis, image manipulation, animation, scientific visualization. Coverage in important areas of computability and complexity theory. Topics may include primitive recursive functions and their enumeration via Turing machines, Kleene's theorem, Blum's theory, Chaitin's theory, program schemata, uncomputable functions, the structure of NP, time and space complexity, serial, parallel, deterministic, probabilistic and non-deterministic computation. Seminar course, primarily for students active or interested in advanced graduate work in computer science. Seminars based on recent research given by faculty and students.