Rahul Mangharam Receives NSF CAREER Award

Rahul Mangharam Rahul Mangharam, Stephen J. Angello Term Assistant Professor in the Department of Electrical and Systems Engineering, is a recipient of an NSF CAREER award for his proposal, "Foundations for Modeling and Verification of Medical Cyber-Physical Systems." The CAREER award is the NSF's most prestigious award in support of junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education and the integration of education and research within the context of the mission of their organizations.

Mangharam’s research goal is to merge computing, communications, and the physical world into integrated cyber-physical systems, enabling seamless communication with and control of objects such as energy-efficient buildings, the human body, and automobiles in the physical world. Mangharam also directs mLAB, a group of electrical, bio-medical, mechanical and computer engineers and scientists who collectively work on problems related to Cyber-Physical Theory and Systems (CPS). The group focuses on domains spanning Wireless Control Networks, Automotive CPS, Medical Devices Software & Systems, Green Building Automation and Real-Time Parallel Computing.

The goal of this CAREER research is to develop the foundations of modeling, synthesis and development of verified medical device software and systems, from verified closed-loop models of the device and organs. The effort spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps that have multiple networked medical systems. In both cases, the devices are physically connected to the body and the software exerts direct control over the physiology and safety of the patient-in-the-loop. The goal is to ensure these devices will never drive the patient into an unsafe state, while providing effective therapy. The contributions of this effort are in three areas: closed-loop patient-device modeling; quantitative verification for optimized patient-specific devices; and development of platforms for life-critical systems. This project has the potential to not only increase the safety of such devices, but also to accelerate the development and certification process. The latter could reduce healthcare costs, and shorten the time to market for new devices.

To read more about Mangharam and his research, please visit his faculty profile.