Fault Tolerance

Gul Agha

The goal of Prof. Agha's research is to understand the nature of concurrent computation. Results of the research will lead to new ways to build and maintain open distributed systems. Specifically, his group is developing concurrent programming languages and systems that support applications with high-performance, fault-tolerance, or real-time requirements.
Matthew Caesar

Prof. Caesar's research focuses on the design, analysis, and implementation of distributed systems and networks on the extremely large scale, with an emphasis on network operations, measurement, and availability.
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.
Naira Hovakimyan

Naira Hovakimyan's current research interests are in the theory of robust adaptive control and estimation with an emphasis on aerospace applications, control in the presence of limited information, networks of autonomous systems, and game theory. Her research work is being supported by AFOSR, ARO, AFRL, ONR, NASA, and The Boeing Co.
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.
Cedric Langbort

Prof. Langbort's research interests lie in the area of distributed decision and control theory and its applications to large-scale infrastructures, such as air traffic management systems and multi-vehicle cooperative missions.
Steven S. Lumetta

Professor Lumetta and his students are investigating the issues of security and reliability in optical networks. Recently his group has worked on network access protocols for optical networks. As part of the work, they developed discrete event simulators to evaluate, fix, and extend network access protocols.
R. S. Sreenivas

Professor Sreenivas's research interests lie in the area of modeling, analysis, control, and performance evaluation of discrete-state/discrete-event systems. Other interests include the use of machine learning, approximate algorithms and online algorithms for the synthesis of near-optimal policies for various problems involving discrete-state/discrete-event systems.