General information about the department and contacts.

8th International Conference on Implementation and Application of Automata. Santa Barbara, CA, USA; 16–18 July 2003.

University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.

University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.

University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.

University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.

University of California, Santa Barbara - Design and analysis of algorithms, theory of computation, computational complexity, parallel computing, digital libraries.

Works on languages and tools for designing, building, and validating software systems - with a focus on threat detection and analysis. Includes details of projects and staff profiles.