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, which he co-founded in 2008, 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 KIISE Journal of Computing Science and Engineering (JCSE)

 

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

 

 

[ About Me ]

June 2018:   The Best Paper Award for the the 21st IEEE International Symposium on Real-Time Computing (ISORC 2018) went to the paper entitled “Data Freshness Over Engineering: Formulation and Results” by Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, and Insup Lee. Read more.

February 2018:   Insup Lee is part of the team of PRECISE researchers that received $6.1 Million grant from Office of Naval Research to reduce software complexity. Read more.

December 2017:   PRECISE and its Director Insup Lee are featured in Penn Engineering Magazine Fall 2017 Edition (pages 3-7).

December 2017:   Insup Lee has been named a Fellow of the ACM! The honor is richly deserved for his research accomplishments and community leadership. Read more

May 2017:   Insup Lee is appointed as Co-Director of Penn Health-Tech (PHT). SEAS and SoM has launched a center called Penn Health-Tech (PHT), on May 2, 2017, which is co-directed by Brian Litt and Insup Lee with strong engagement by Mark Turco at PCI.

 

 

[ All News ]

Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin and Shinichi Shiraishi. In Proceedings of IEEE International Conference on Cloud Computing (CLOUD 2018), San Francisco, CA, USA, July 2018.

Data Freshness Over-Engineering: Formulation and Results. Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, and Insup Lee. In Proceedings of IEEE ISORC 2018, Singapore, May 2018 (Best Paper Award).

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, and Insup Lee. In Proceedings of IEEE ISORC 2018, Singapore, May 2018.

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman. In Proceedings of IEEE ISORC 2018, Singapore, May 2018.

 

 

[ All Publications ]

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