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

dblp

 

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

 

 

[ About Me ]

August 2020:  Insup Lee and his team partner with Hillrom and Penn Nursing to optimize the use of medical devices in clinical settings to improve patient outcomes. Read more

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.

 

 

[ All News ]

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, Insup Lee. Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV), Los Angeles, CA, July 2021.

Detecting OODs as datapoints with High Uncertainty. Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee. Proceedings of Workshop on Uncertainty and Robustness in Deep Learning (UDL), Virtually, July 2021.

ModelGuard: Runtime Validation of Lipschitz-continuous Models. Taylor Carpenter, Radoslav Ivanov, Insup Lee, James Weimer. Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Brussels, Belgium, July 2021.

Raproto: An Open Source Platform for Rapid Prototyping of Wearable Medical Devices. Amanda Watson, Hyonyoung Choi, Insup Lee, and James Weimer. Proceedings of the 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Nashville, TN, May 2021.

 

 

[ All Publications ]

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