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

Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science, Director of PRECISE Center, and Co-Director of Penn Health-Tech 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 (CPS), real-time systems, embedded systems, high-confidence medical device systems, formal methods and tools, run-time verification, software certification, and trust management. The theme of his research activities has been to assure and improve the correctness, safety, and timeliness of life-critical embedded systems. He is ACM fellow and IEEE fellow and received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008.


A founding co-Editor-in-Chief of ACM Transactions on Computing for Healthcare (HEALTH)

Google Scholar



Please contact Professor Insup Lee if you are interested in joining his group as a PhD student or Postdoctoral fellow.



[ About Me ]

March 2020:The inaugural issue of ACM Transactions on Computing for Healthcare (HEALTH) with Insup Lee as Co-Editor-in-Chief has been published and is now available in the ACM Digital Library!

November 2019:   PRECISE members Insup Lee and Oleg Sokolsky, along with Sampath Kannan, Moonzoo Kim, and Mahesh Viswanathan, win the Test-of-Time Award for their 2001 paper "Java-MaC: a run-time assurance tool for Java programs" at the 2019 Conference on Runtime Verification.

October 2019:   The Best Paper Award for the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'19) went to the paper entitled Detecting Security Leaks in Hybrid Systems with Information Flow Analysis by Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur. Read more.

April 2019:   The Best Paper Award for the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019) went to the paper entitled Holistic resource allocation for multi-core real-time systems by Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, Insup Lee. Read more.



[ All News ]

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. Sangdon Park, Osbert Bastani, James Weimer, and Insup Lee. To appear in Proceedings of 23rd International Conference on Artificial Intelligence and Statistics (AISTATS 2020), Palermo, Italy, June 2020.

PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. Sangdon Park, Osbert Bastani, Nikolai Matni, and Insup Lee. To appear in Proceedings of International Conference on Learning Representations (ICLR 2020), Addis Ababa, Ethiopia, April 2020.

Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee. To appear in Proceedings of 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020), Sydney, Australia, April 2020. (Received HSCC repeatability badge)

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.M. Hasanbeig, Y. Kantaros, A. Abate, D. Kroening, G. J. Pappas, I. Lee. In Proceedings of 58th IEEE Conference on Decision and Control (CDC 2019), Nice, France, December 2019.



[ All Publications ]

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