Insup Lee’s research advances cyber-physical systems, medical device safety, trustworthy AI, and secure IoT infrastructures, with a focus on developing technologies that are both theoretically rigorous and practically transformative. His work spans the design and verification of safety-critical systems, development of interoperable medical devices, application of AI in clinical decision support, and secure infrastructure for large-scale IoT deployments. Together, these efforts bridge computer science, engineering, and medicine, addressing real-world challenges while providing foundational methods that enable safe, reliable, and trustworthy technology.

Integrated Static and Dynamic Approaches to High-Assurance for Learning-Enabled Cyber-Physical Systems

This project aims to ensure safety in autonomous vehicles which depend on machine learning for perception and control. It combines design-time methods (such as closed-loop verification of deep neural network controllers via tools like VeriSig) with run-time monitoring, including detection of anomalous behavior, confidence estimation, and validation of operational assumptions. Additionally, the work develops assurance case argument patterns that integrate both static evidence (from design and verification) and dynamic evidence (from monitors) for stronger safety guarantees.

Project page:  https://rtg.cis.upenn.edu/assured-autonomy/

Robust Concept Learning and Lifelong Adaptation Against Adversarial Attacks (ARO MURI)

This initiative addresses vulnerabilities of learning systems to adversarial inputs and environmental distribution shifts. It advances concept-based learning that is robust both at training time and at run time, including under transformations like noise, rotations, or lighting changes. The research also explores adaptation in dynamic environments, and verification & monitoring of learning systems as they evolve, inspired in part by how children learn and generalize.

Project page:  https://aro-muri2020.seas.upenn.edu/index.html

AutoWean: Foundations of Autonomous Medical CPS for Mechanical Ventilation Weaning (NIH R01)

AutoWean seeks safe, effective methods for autonomous weaning from mechanical ventilation — a process critical in ICUs that, if mismanaged, causes substantial morbidity, mortality, and healthcare costs. The project develops data-driven, context-aware, human-in-the-loop control strategies that coordinate patient monitors and ventilators. It addresses challenges in identifying patient state, adapting control policies, and ensuring safety and reliability in the presence of uncertainty.

Monitoring Safety and Adherence of Pain Management Through Remote Opioid Sensing and Analysis (NIH R01)

This project investigates remote sensing and analytical methods to promote safe pain management with opioids. It aims to monitor both safety and adherence, using non-invasive sensing technologies and data analysis to detect misuse, safety risks, or deviations from prescribed therapy. The goal is to provide insight into patient behavior and support interventions while preserving patient privacy and trust.

Smart Alarms 2.0: Foundations for Caregiver-in-the-Loop Suppression of Non-Informative Alarms (NSF-SCH)

Smart Alarms 2.0 addresses clinical alarm fatigue by suppressing non-informative alarms in both hospital and home settings, while keeping caregivers (nurses, physicians, parents) in the loop. The project develops novel design and analysis methods for robust alarm suppression and models caregiver interaction. Use cases include pediatric wards and home monitoring for patients with Bronchopulmonary Dysplasia (BPD). The objective is to optimize alarm settings so that caregivers receive the right prompts at the right times, improving responsiveness without overload.

AI-Driven Clinical Decision Support for Glaucoma

This project addresses the global burden of glaucoma-related vision loss by developing an artificial intelligence–based clinical decision support tool for early diagnosis and prediction of disease progression.

A multi-modal deep learning framework integrates diverse longitudinal data, including retinal nerve fiber layer (RNFL) thickness from OCT, visual field assessments, and fundus photography, to enhance diagnostic precision and anticipate functional loss.

The research emphasizes trustworthy human-AI interfaces, providing interpretable outputs, transparent performance metrics, and robust uncertainty estimation to help clinicians make informed decisions. In addition, algorithms are designed to handle data heterogeneity, ensuring reliable performance across patient populations, imaging devices, and care settings, supporting equitable adoption in real-world clinics.

Networked Closed-Loop Medical Cyber-Physical Systems

This research area explores how sensors, actuators, and networked devices can be combined into safety-critical, closed-loop systems for patient care. By integrating continuous-time physiological models with formal verification techniques (such as timed automata), the work ensures safe behavior even under network delays or failures.

Case studies include:

  • A patient-controlled analgesia (PCA) infusion controller that prevents overdosing through real-time monitoring and automatic dose adjustments.
  • Simulation and evaluation of hospital insulin infusion protocols using virtual patient populations to assess reliability and safety before deployment in clinical environments.
Causality Analysis and Blame Assignment in Medical Systems

Modern healthcare increasingly depends on interoperable medical devices, where failures can have complex, distributed causes. This project develops causality analysis algorithms that process execution traces and component contracts to explain how a safety violation occurred.

The approach identifies which components or interactions contributed to an incident, even when direct reproduction in a clinical setting is impractical. Results provide actionable insights that support accountability, guide debugging, and inform system design improvements.

Medical Device “Plug-and-Play” (MD PnP) Interoperability

The MD PnP program is a multi-institutional effort to establish interoperability standards and tools for medical devices, enabling safer, more efficient clinical environments.

Contributions include:

  • Participation in the development of the Integrated Clinical Environment (ICE) standard.
  • Building interoperable prototypes, such as systems that synchronize ventilators with anesthesia machines.
  • Creating safety interlocks for PCA pumps and other infusion devices.
  • Conducting studies on regulatory pathways, usability, and workflow integration, demonstrating how interoperability can reduce errors and improve patient outcomes.
LogSafe: Secure and Scalable Data Logging for IoT

LogSafe is a secure, fault-tolerant data logging platform designed for large-scale Internet-of-Things deployments in untrusted cloud environments.

The system provides:

  • Confidentiality and integrity for collected sensor data through lightweight cryptographic mechanisms.
  • Tamper detection to ensure data authenticity and reliability.
  • A scalable architecture that supports analytics and monitoring in environments where device or network compromise is a concern. LogSafe offers a trustworthy foundation for IoT systems that require strong data security guarantees.