People | Faculty

Rajeev Alur

Education: PhD in Computer Science, Stanford University
Research Interests: Rajeev’s research is aimed at improving technology for design and analysis of reliable software systems. His team is interested in developing specification logics for formalizing correctness requirements, modeling notations for constructing modular descriptions of complex systems, and verification algorithms for checking systems against requirements. Current applications include concurrency libraries for multicore architectures, Java applets for mobile devices, and safety-critical control software.

Insup Lee

Education: PhD in Computer Science, University of Wisconsin-Madison
Research Interests: Insup’s research interests are in real-time, embedded, and cyber physical systems, which increasingly affect our daily lives. His research goals are to ensure and improve the correctness, safety, timeliness, trustworthiness, and compositionality of these systems. Insup has been developing techniques and tools for compositional real-time scheduling, model-based development, quantitative trust management, and run-time verification. He has also been transitioning his research results into practice by applying them to safety-critical embedded systems and high-confidence medical device systems.

Rahul Mangharam

Education: PhD in Electrical and Computer Engineering, Carnegie Mellon University
Research Interests: Rahul’s mission is to merge computing, communications, and the physical world into integrated cyber-physical systems, enabling seamless communication with and control of objects such as smart buildings, the human body, and automobiles in the physical world. His work encompasses tiny wireless sensor networks and large-scale vehicle-to-vehicle wireless networks. Rahul co-developed the FireFly sensor networking platform, which allows physical objects to communicate over wireless links, resulting in tiny devices which can locate workers in mines, wirelessly control automation factories, and serve as flexible, wearable, smart band-aids in on-body healthcare systems.

Christian Murphy

Education: PhD in Computer Science, Columbia University, NY
Research Interests: Chris' research interests are software engineering, software testing, software systems, cyber-physical systems, and computer science education.



George Pappas

Education: PhD in Electrical Engineering and Computer Sciences, University of California, Berkeley
Research Interests: George’s research focuses on developing methods for the control of next-generation hierarchical and distributed systems. His research group focuses on developing analysis and design algorithms and tools for hybrid systems, which merge control systems with computing systems. Their methods have been used in developing algorithms for coordinated motion of fleets of unmanned aerial vehicles and multi-robot systems, analyzing the safety of next generation medical devices, and understanding the macroscopic behavior of biological networks.

Linh Thi Xuan Phan

Education: PhD in Computer Science, National University of Singapore
Research Interests: Linh's research interests center on formal modeling and performance analysis, system-level design, compositional analysis and run-time assurance techniques for real-time embedded, cyber-physical and multi-mode systems. Her goal is to assure and improve the correctness, safety, and timeliness of these systems. Some of the application domains she works in include automotive electronics and software, avionics, real-time multimedia, body-area sensor networks and cloud computing.

Oleg Sokolsky

Education: PhD in Computer Science, Stony Brook University
Research Interests: Oleg focuses his research interests on the application of formal methods to design and verify distributed real-time systems. He works on modeling and analysis of computer-based systems, particularly medical devices, which require high levels of confidence in their operation. Oleg aims to develop mathematically grounded modeling languages, algorithms, and tools to verify system models in terms of their functional correctness and timeliness. He also develops methods for implementing systems according to their models.