UPenn Engineering
Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania
Insup Lee
Home About Me Research Teaching PRECISE RTG Group News Publications Awards Contact

Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of PRECISE Center at the University of Pennsylvania. He also holds a secondary appointment in the Department of Electrical and Systems Engineering. His research interests include cyber-physical systems, real-time and embedded systems, runtime assurance and verification, formal methods and tools, trust management, and high-confidence medical systems. The theme of his research activities is to assure and improve the correctness, safety, and timeliness of life-critical embedded systems. He is a fellow of IEEE and received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008.


A founding co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering (JCSE)





[ About Me ]

December 2013:    Insup Lee was appointed as a member of the NRC's Committee on 21st Century Cyber-Physical Systems Education.

August 2013:    Insup Lee received Appreciation Plaque from Ministry of Science, IT and Future Planning, South Korea, for speaking at Universal Linkage for Top Research Advisor (ULTRA) Program Forum.

April 2013:    Insup Lee served as a co-chair of CPS Week 2013.

March 2013:    Insup Lee gave a talk Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems as part of Wayne State University Department of Computer Science Distinguished Lecture Series.

February 2013:    Insup Lee gave a talk Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems (MDCPS) as part of Triangle Computer Science Distinguished Lecturer Series. More information available here.

December 2012:    The Best Paper Award for the 33rd IEEE Real-Time Systems Symposium (RTSS 2012) went to the paper entitled "Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines", jointly written by Penn and KAIST. (Co-authors: Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin and Insup Lee).



[ All News ]

Resilient Multidimensional Sensor Fusion using Measurement History. Radoslav Ivanov, Miroslav Pajic, Insup Lee. To appear in 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS 2014), Berlin, Germany, April 2014.

Attack-Resilient Sensor Fusion. Radoslav Ivanov, Miroslav Pajic, Insup Lee. To appear in Design, Automation and Test in Europe (DATE 2014), Dresden, Germany, March 2014.

Model-Driven Safety Analysis of Closed-Loop Medical Systems. Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, and Insup Lee. In IEEE Transactions on Industrial Informatics, 10(1), 2014, pp 3-16. Published in IEEE Xplore Early Access October 2012.

Functional Alarms for Systems of Interoperable Medical Devices. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky and Insup Lee. In 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), Miami, Florida, USA, January 9 - 11, 2014.

Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. M. Pajic, Z. Jiang, O. Sokolsky, I. Lee and R. Mangharam. To appear in ACM Transactions on Embedded Computing, 2013.



[ All Publications ]

Copyright © 2011 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.