Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States. He is also the Director and co-founder of the PRECISE Center.
Lee obtained his B.S. in mathematics from the University of North Carolina at Chapel Hill in 1977, followed by his M.S. and Ph.D. in Computer Science at the University of Wisconsin-Madison in 1983. That same year, he joined the University of Pennsylvania as an assistant professor. Lee's research is predominantly focused on cyber-physical systems (CPS), real-time computing, high-confidence medical devices, formal methods and tools, and run-time verification. Much of his recent work has been related to CPS security, particularly for medical devices. Lee is also a Fellow of the ACM, IEEE, and AAAS.
Awards and honors
IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Distinguished Leadership Award, 2023. For exceptional contributions to establishing cyber-physical systems as a scientific discipline and continued growth of the community; for pioneering research and leadership in medical cyber-physical systems. AAAS Fellow, 2022. For foundational contributions to the theory and implementation of real-time compositional scheduling and runtime verification. ACM SIGBED Inaugural Distinguished Leadership Award, 2022. For leadership in promoting cross-fertilization of ACM and IEEE communities in Cyber-Physical Systems, Embedded Systems, and Real-Time Systems. IEEE Life Fellow, 1 January 2021. Runtime Verification Test-of-Time Award, issued 2019 for ENTCS 2001 paper "Jav-MaC: Run-time Assurance Tool for Java Programs" (with Oleg Sokolsky, Sampath Kannan, Moonzoo Kim, and Mahesh Viswanathan). Deans' Distinguished Visiting Professorship, Perelman School of Medicine, University of Pennsylvania, 17 January 2019. ACM Fellow, 2017. For theoretical and practical contributions to compositional real-time scheduling and runtime verification. Member, NRC's Committee on 21st Century Cyber-Physical Systems Education, 2014-2015. Appreciation Plaque, Ministry of Science, IT and Future Planning, South Korea, 9 August 2013. IEEE TC-RTS Outstanding Technical Achievement and Leadership Award, issued Dec 2008. The Edward M. Kennedy Award for Health Care Innovation, issued by CIMIT in 2007 for the Medical Device “PnP” Interoperability Team - Julian Goldman (leader), Dave Arney, Insup Lee, et al. Member, President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (NIT) Technical Advisory Group (TAG), 2006-2007. DVP Speaker of IEEE Computer Society Distinguished Visitors Program (DVP), 2004-2006. IEEE Fellow, 2001, For contributions to the specification languages and verification tools for real-time systems.
Former PhD Students +NameDissertationDate of GraduationNotes1David SmitleyThe Utilization of Processors Interconnected with a Reconfigurable NetworkMay 19872Amy ZwaricoAn Algebraic Model for Communicating Time-Dependent ProcessesMay 19883Richard GerberCommunicating Shared Resources: A Model for Distributed Real-Time SystemsAugust 1991Received the Morris and Dorothy Rubinoff Award for the Best CIS Ph.D. dissertation, 19924Victor WolfeSupporting Real-Time ConcurrencyAugust 1991Co-advised with Susan B. Davidson5Robert KingDesign, Implementation and Evaluation of a Real-Time Kernel for Distributed RoboticsDecember 19916Patrice Bremond-GregoireA Process Algebra of Communicating Shared Resources with Dense Time and PrioritiesMay 19947Hanene Bed-AbdallahGCSR: a Graphical Language for the Specification, Refinement and Analysis of Real-Time SystemsAugust 1996Co-advised with Susan B. Davidson8Duncan ClarkeTesting Real-Time ConstraintsDecember 19969Inhye KangReal-Time System Analysis based on State-Space ExplorationMay 199710Hee Hwan KwakProcess Algebraic Approach to the Parametric Analysis of Real-time Scheduling ProblemsFebruary 200011Mahesh ViswanathanFoundations for the Run-Time Analysis of Software SystemsSeptember 2000Co-advised with Sampath Kannan Received the Morris and Dorothy Rubinoff Award for the best CIS Ph.D. dissertation, 200112Moonjoo KimInformation Extraction for Run-time Formal AnalysisDecember 2001Co-advised with Sampath Kannan13Jia WangLoss-Sensitive Decision Rules for Intrusion Detection and ResponseJuly 2004Co-advised with Linda Zhao, Statistics Department14Insik ShinA Compositional Framework for Real-time Embedded SystemsAugust 2006Received the Morris and Dorothy Rubinoff Award for the best CIS Ph.D. dissertation, 200615Usa SammapunMonitoring and Checking of Real-Time and Probabilistic PropertiesMay 2007Co-advised with Oleg Sokolsky16Michael MayPrivacy APIs: Formal Models For Analyzing Legal Privacy RequirementsMay 2008Co-advised with Carl Gunter17Madhukar AnandConditional Models for Compositional Design of Real-Time Embedded SystemsMay 200818Arvind EaswaranAdvances in Hierarchical Real-Time Systems: Incrementality, Optimality, and Multiprocessor ClusteringDecember 2008Co-advised with Oleg Sokolsky19Nikhil DineshRegulatory Conformance: Logic and Logical FormDecember 2010Co-advised with Aravind Joshi20Jian ChangBehavior-Centric Trust Management in Distributed SystemsMay 2013Co-supervised with Sampath Kannan21Andrew G. WestDamage Detection and Mitigation in Open Collaboration ApplicationsMay 2013Co-supervised with Oleg Sokolsky22Zhuoyao ZhangPerformance Modeling and Resource Management for MapReduce ApplicationsMay 2014Co-supervised with Boon Tau Loo23BaekGyu KimSafety-Assured Model-Based Development of Real-Time Embedded Software for the GPCA Infusion PumpAugust 2015Co-supervised with Oleg Sokolsky24Andrew KingFoundations for Safety-Critical On-Demand Medical SystemsMay 201625Bong Ho KimTechniques for End-To-End TCP Performance Enhancement over Wireless NetworksAugust 201626Sanjian ChenModel-Based Analysis of User Behaviors in Medical Cyber-Physical SystemsAugust 201627Alexander RoedererParameter Invariant Statistics and Their Application to Clinical Decision SupportAug 2016Co-supervised with C. William Hanson III, MD28Jaewoo LeeResource-Efficient Scheduling of Multiprocessor Mixed-Criticality Real-Time SystemsJune 2017Co-supervised with Linh P.X. Phan29Radoslav IvanovContext-Aware Sensor Fusion for Securing Cyber-Physical SystemsJuly 2017Co-supervised with James Weimer30Junkil ParkAutomatic Verification of Linear Controller SoftwareMay 2017Co-supervised with Oleg Sokolsky31Meng XuCache-Aware Real-Time VirtualizationJune 2018Co-supervised with Linh P.X. Phan32David ArneyMedical Device Interoperability with Provable Safety PropertiesMay 201933Sangdon ParkUncertainty Estimation toward Safe AIAugust 2021Co-supervised with Osbert Bastani34Tang ZhangRV-enabled framework for self-adaptive softwareAugust 2021Co-supervised with Oleg Sokolsky35Ramneet KaurScreening Out-of-Distribution Inputs for Reliable AI PredictionsDecember 2023Co-supervised with Oleg Sokolsky36Matthew CleavelandScalable and Risk Aware Verification of Autonomous SystemsMay 2024Co-supervised with George Pappas37Sydney PughWeakly-Supervised Evaluation of Medical AI SystemsAugust 2024Co-supervised with James Weimer38Xiayan JiReliable Anomaly Detection with Explanation and FeedbackApril 2025Co-supervised with Oleg Sokolsky39Kaustubh SridharTraining Adaptive and Sample-Efficient Autonomous AgentsApril 202540Shuo LiTowards Trustworthy Large Language ModelsJune 2025Co-supervised with Osbert Bastani41Yahan YangSafeguarding AI Systems Against Unexpected InputsOctober 202542Sooyong JangImproving Post-hoc Uncertainty Quantification Based on Input TransformationsNovember 202543Pengyuan Eric LuPreserving Correct Behaviors During Neural Network-Based Control Policy RepairFebruary 2026Co-supervised with Oleg Sokolsky44Vivian LinOOD-Resilient Safety Monitoring for Safety-Critical Cyber-Physical SystemsApril 202645Wenwen SiDesigning Trustworthy Machine Learning Systems With Structure‑Aware Conformal InferenceApril 2026Co-supervised with Lama Al-Aswad
Former Postdoc Fellows +NameAmanda WatsonAnaheed ZakiAnna PhilippouDeepak GangadharanEunkyoung JeeFanxin Kong Hyojin Jo Hyon Young ChoiHyoung Seok HongIvan RuchkinJames Weimer Jesung KimJin Hyun KimJin-Young ChoiJitka StribrnaKrishna VenkatasubramanianKuk JangLi TanLin ZhangLinh Thi Xuan PhanLu FengMartin LeuckerMichele CaprioMiroslav PajicNa Young LeeNicola Bezzo Nima RoohiOleg SokolskySebastian FischmeisterSouradeep Dutta Vinayak PrabhuXian (Shawn) LiYiannis Kantaros
References
External links Insup Lee homepage