Reliability

Sarita V. Adve

Sarita Adve's most significant research contributions are in the areas of  memory consistency models for multiprocessors, hardware reliability, power management, exploitation of instruction-level parallelism (ILP) for memory system performance, and evaluation techniques for shared-memory multiprocessors with ILP processors.
Vikram Adve

Professor Adve's broad research interest lies in using compilers (more generally, program analysis and transformation techniques) as tools for improving the performance, programmability, and security of modern computer systems. His research emphasizes the development of novel systems, compilation techniques, and (where necessary) language features to address these problems.
Tamer Basar

Professor Basar is interested in using various stochastic mechanisms to address trust issues in systems. He has recently completed a project for Boeing called "A Game Theoretic Approach to Intrusion Detection in Policy Based Access Control Systems."
Carolyn L. Beck

Dr. Beck's primary research interests lie in the development of modeling and control methods for complex systems, with applications in bioengineering and networked control systems. She received the National Science Foundation CAREER Award in 1998, and the Office of Naval Research Young Investigator Award in 2001.
Alejandro Domínguez-García

Prof. Domínguez-García's research lies at the interface of system reliability theory and control theory, with special emphasis on applications to power electronics, electric power systems, and safety-critical/fault-tolerant aircraft, aerospace, and automotive systems.
Carl A. Gunter

Professor Gunter uses his background in programming languages to analyze protocols and systems with respect to trustworthy operation. Information about Professor Gunter's recent work is outlined on the Security Lab page.
Indranil Gupta

Professor Gupta is interested in studying design, implementation, and evaluation issues for large-scale distributed systems such as peer-to-peer systems, the Grid, and sensor networks.
Ravishankar K. Iyer

Professor Iyer is interested in developing and analyzing techniques for developing secure and reliable systems. He leads several projects in this area. One project is the Reconfigurable Reliability and Security Engine. A common processor-level framework that can provide application-aware reliability and security is attractive and timely.
Zbigniew T. Kalbarczyk

Dr. Kalbarcryk is interested in developing and analyzing techniques for developing secure and reliable systems. He is involved in the DEPEND project, among others. The DEPEND project is developing a framework for designing dependable systems. DEPEND is a simulation-based environment that supports the design of systems for fault tolerance and high availability.
Kenneth J. Keefe

Ken Keefe is currently interested in model-based system validation of dependability/performance/security properties, and multi-formalism and multi-solution modeling frameworks. He is the principal developer and software architect for the Möbius modeling and simulation tool.