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

April 2019:   The Best Paper Award for the 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.

January 2019:   The Deans' Distinguished Visiting Professorship is award to Insup Lee, Ph.D. by Perelman School of Medicine at the University of Pennsylvania on 17 Jan 2019. Dr. Lee presented to the audience a talk entitled "Internet of Medical Things (IoMT)" that day.

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).

 

 

[ All News ]

Holistic resource allocation for multicore real-time systems. Meng Xu, Linh T.X. Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, and Insup Lee. In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019), Montreal, Canada, April 2019. (Best Paper Award)

Reducing Pulse Oximetry False Alarms Without Missing Life-Threatening Events. Hung Nguyen, Sooyong Jang, Radoslav Ivanov, Christopher P. Bonafide, James Weimer, and Insup Lee. In Proceedings of IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE 2018), Washington, D.C., USA, September 2018.

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).

 

 

[ All Publications ]

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