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


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



[ About Me ]

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.

April 2017:    Insup Lee gives keynote talk Security of Cyber-Physical Systems: Challenges and Approaches at HotSoS on April 4, 2017.

June 2016:    Insup Lee delivers the keynote talk, Internet of Medical Things to Enable Medical Cyber-Physical Systems, at the 1st IEEE International Conference on Connected Health: Applications, Systems and Engineering Technologies, Washington DC, June 28, 2016.

August 2015:    Insup Lee is the principle investigator of the recently announced NSF and Intel new, jointly funded large project on CPS security and privacy. The new project is centered at PRECISE and includes collaborators from the Penn medical school, law school, and sociology, as well as University of Michigan and Duke University. Read more



[ All News ]

Process Algebraic Approach to the Schedulability Analysis and Workload Abstraction of Hierarchical Real-Time Systems. Junkil Park, Insup Lee, Oleg Sokolsky, Dae Yon Hwang, Sojin Ahn, Jin-Young Choi, and Inhye Kang. In Journal of Logical and Algebraic Methods in Programming (JLAMP), Volume 92, pp.1-18, November 2017.

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. Jaewoo Lee, Hoon Sung Chwa, Linh T.X. Phan, Insik Shin, and Insup Lee. In Proceedings of International Conference on Embedded Software (EMSOFT 2017), Seoul, South Korea, October 2017.

Extensible Energy Planning Framework for Preemptive Tasks. Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, and Insup Lee. In Proceedings of 20th International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada, May 2017.

Automatic Verification of Finite Precision Implementations of Linear Controllers. Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee. In Proceedings of 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Uppsala, Sweden, April 2017.



[ All Publications ]

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