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 ]

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)

August 2012: Drs. Insup Lee (PI), Rahul Mangharam, Nathan Michael, George Pappas, Oleg Sokoslky, Stephanie Weirich (Penn) and Paulo Tabuada (UCLA) received a multidisciplinary grant of $4.8M from DARPA's High-Assurance Cyber Military Systems (HACMS) Program for "SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems"

June 2012: The Generic Infusion Pump project, led by Insup Lee, is featured in the article on open-source medical devices in the Economist magazine.

May 2012: Distinguished Lecture Challenges and Research Directions in Medical Cyber-Physical Systems at DTC Science and Technology Innovators Series, University of Minnesota, May 1, 2012. More.

[ All News ]

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)

Trust in Collaborative Web Applications. Andrew West, Jian Chang, Krishna Venkatasubramanian, Insup Lee. In Elsevier Future Generation Computer Systems, Volume 28, Issue 8, pp.1238–1251, October 2012 (Invited Paper). Based in part on UPENN MS-CIS-10-33 technical report

Evaluation of a Smart Alarm for Intensive Care using Clinical Data. Andrew King, Kelsea Fortino, Nicholas Stevens, Sachin Shah, Margaret Fortino-Mullen, and Insup Lee. In 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'12). San Diego, California, September, 2012.

[ All Publications ]