Insup Lee

Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of the PRECISE Center at the University of Pennsylvania's School of Engineering and Applied Science. He holds a secondary appointment in the Department of Electrical and Systems Engineering and the Perelman School of Medicine’s Department of Biostatistics, Epidemiology, and Informatics.

• IEEE TCCPS Distinguished Leadership Award (2023)
• Fellow of the AAAS (2022)
• Test of Time Award, Runtime Verification (2019)
• Fellow of the ACM (2017)
• Best Paper Awards at IEEE ICPS, ACM/IEEE ICCPS, and MEMOCODE

His research focuses on cyber-physical systems, real-time and embedded systems, safe autonomy, and internet of medical things, with applications in healthcare and connected systems. He advises PhD students including Eric Lu, Kaustubh Sridhar, Sooyong Jang, and Jean Park (co-advised with Kevin Johnson).

Recent publications address safety monitoring for learning-enabled systems, model-free control synthesis using reinforcement learning, and multilingual toxicity guardrails for large language models. His team collaborates with institutions like Hillrom and Penn Nursing to optimize medical device usage in clinical settings.