Insup Lee, PhD



Insup Lee, PhD

Cecilia Fitler Moore Professor, Computer and Information Science and Professor of Informatics

Insup Lee is Cecilia Fitler Moore Professor of Computer and Information Science and Director of PRECISE Center, which he co-founded in 2008 at the University of Pennsylvania. He also holds a secondary appointment in the Department of Electrical and Systems Engineering as well as a secondary appointment in the Department of Biostatistics, Epidemiology and Informatics.

His research interests include cyber-physical systems, real-time and embedded systems, internet of medical things, with emphasis on runtime assurance and verification, robust machine learning, medical device integration, safe autonomy. The theme of his research activities has been to assure and improve the correctness, safety, and timeliness of life-critical embedded systems.  His papers received the paper awards in IEEE RTSS 2003, CEAS 2011, IEEE RTAS 2012, IEEE RTSS 2012, ACM/IEEE ICCPS 2014, IEEE CPSNA 2016, IEEE ISORC 2018, IEEE RTAS 2019, ACM/IEEE MEMOCODE 2019, ACM TECS 2022.  His work on runtime monitoring and checking received the RV Test-of-Time Award, Runtime Verification 2019.

He has served on many program committees, chaired many international conferences and workshops, and served on various steering and advisory committees of technical societies. He has also served on the editorial boards on the several scientific journals.  He is founding co-Editor-in-Chief of the new ACM Transactions on Computing for Healthcare since 2018.

He was Chair of ACM SIGBED (2015-2018) and was Chair of IEEE TC-RTS (2003-2004). He was a member of Technical Advisory Group (TAG) of President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (2006-2007). He was a member of the National Research Council’s committee on 21st Century Cyber-Physical Systems Education (2014-2015). He was founding Co-Director of Penn Health Tech (2018-2021). He received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008, an appreciation award from Ministry of Science, IT and Future Planning, South Korea in 2013, and ACM SIGBED Inaugural Distinguished Leadership Award in 2022. He is ACM fellow and IEEE fellow.

Content Area Specialties

Internet of Medical Things, Medical Device Coordination & Integration, Clinical Decision Support Systems, Closed-loop Medical Systems

Methodology Specialties

Computer and Information Science

About Us

To understand health and disease today, we need new thinking and novel science —the kind  we create when multiple disciplines work together from the ground up. That is why this department has put forward a bold vision in population-health science: a single academic home for biostatistics, epidemiology and informatics. 

© 2023 Trustees of the University of Pennsylvania. All rights reserved.. | Disclaimer

Follow Us