Insup Lee, Ph.D., is the founder and director of the Penn Research in Embedded Computing and Integrated Systems (PRECISE) Center and the Cecilia Fitler Moore Professor in the Department of Computer and Information Science, with a secondary appointment in the Department of Electrical and Systems Engineering at the University of Pennsylvania. He is an ACM Fellow, IEEE Fellow, and AAAS Fellow.
Dr. Lee is internationally recognized for his expertise in cyber-physical systems, real-time systems, embedded systems, high-confidence medical device systems, formal methods and tools, run-time verification, and adversarial learning. His research focuses on enhancing the correctness, safety, and timeliness of life-critical embedded systems. In recent years, his work has expanded to encompass the Internet of Medical Things, cyber-physical system security, and safe autonomy.
Dr. Lee has served on numerous program committees, chaired international conferences and workshops, and contributed to various technical society steering and advisory committees. He has received nine best conference paper awards. He is the founding co-editor-in-chief of ACM Transactions on Computing for Healthcare (2018) and was the founding co-editor-in-chief of KIISE Journal of Computing Science and Engineering (2007). Additionally, he has served on the editorial boards of several esteemed scientific journals, including the Journal of ACM, ACM Transactions on Cyber-Physical Systems, IEEE Transactions on Computers, Formal Methods in System Design, and Real-Time Systems Journal.
As a founding co-director of Penn Health Tech (2017-2020), Dr. Lee has also held leadership roles such as chair of the ACM Special Interest Group on Embedded Systems (2015-2019) and IEEE TC on Real-Time Systems (2003-2004). He has been a member of the Technical Advisory Group of the President’s Council of Advisors on Science and Technology, Networking, and Information Technology (2006-2007) and served on the National Research Council’s committee on 21st Century Cyber-Physical Systems Education (2014-2015).
Dr. Lee’s accolades include the IEEE TC-RTS Outstanding Technical Achievement and Leadership Award (2008), an appreciation award from the Ministry of Science, IT and Future Planning, South Korea (2013), the Runtime Verification Test-of-Time Award (2019), the ACM SIGBED Distinguished Leadership Award (2022), and the IEEE Technical Committee on Cyber-Physical Systems Distinguished Leadership Award (2023).