Operating Systems

Tarek F. Abdelzaher
Prof. Abdelzaher is especially interested in developing theory, architectural support, and computing abstractions for predictability in software systems, motivated by increasing software complexity and the growing sources of non-determinism. Applications range from sensor networks to large-scale server farms, and from avionics to homeland defense.
Roy H. Campbell

Professor Campbell's research interests are in the engineering and construction techniques of complex system software. Security, continuous media, and real-time control present a challenge to operating system designers. Ubiquitous, distributed, and parallel systems require complex resource management and efficient implementations.
Susan Hinrichs

Professor Hinrichs's research interests revolve around network security. Specifically, she is interested in the issues that arise from trying to understand, implement, and maintain a security posture. Her work at Cisco Systems involved creating tools to translate from a higher-level security policy description to a multi-device implementation.
Samuel T. King

Insecure and error-prone software is problematic for computing systems. Computer intrusions that result from insecure software lead to a number of problems, including the loss or corruption of sensitive data, costly and time-intensive cleanup efforts, and damage to a company's reputation.
Active Information Spaces Based on Ubiquitous Computing

funded by the National Science Foundation
Choices: A Reliable and Secure Operating System for Mobile Devices

funded by the National Science Foundation
Secure Virtual Architecture (SVA): Compiler Techniques for Operating System Security and Reliability

funded by the National Science Foundation and the DARPA/MARCO Gigascale Systems Research Center (GSRC)