Insup Lee

Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania

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 ]

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)

November 2012: Insup Lee presented an overview of NSF CPS large project during NIH Site Visit for Quantum Project at MGH/CIMIT, Boston

[ All News ]

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, 2013

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin and Insup Lee. In 33rd IEEE Real-Time Systems Symposium (RTSS 2012), San Juan, Puerto Rico, December 2012 (Best Paper Award)

Security and Interoperable Medical Device Systems: Part 1. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, and Insup Lee. In IEEE Security & Privacy. 10(5), pp 61 - 63, September-October 2012.

Security and Interoperable Medical Device Systems, Part 2: Failures, Consequences and Classifications. Eugene Y. Vasserman, Krishna K. Venkatasubramanian, Oleg Sokolsky, and Insup Lee. In IEEE Security & Privacy. 10(6), pp 70 - 73, November-December 2012.

[ All Publications ]