Insup Lee is the
Cecilia Fitler Moore Professor in
the Department of Computer and
Information Science and Director of
PRECISE Center 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, real-time and embedded systems, runtime assurance and verification, formal methods and tools, trust management, and high-confidence medical systems.
The theme of his research activities is 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 ]
April 2014: The Best Paper Award for the 5th International Conference on Cyber-Physical Systems (ICCPS 2014) went to the paper entitled "Robustness of Attack-resilient State Estimators" by Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George Pappas.
December 2013: Insup Lee was appointed as a member of the NRC's Committee on 21st Century Cyber-Physical Systems Education.
August 2013: Insup Lee received Appreciation Plaque from Ministry of Science, IT and Future Planning, South Korea,
for speaking at Universal Linkage for Top Research Advisor (ULTRA) Program Forum.
April 2013: Insup Lee served as a co-chair of CPS Week 2013.
March 2013: Insup Lee gave a talk Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems as part of Wayne State University Department of Computer Science Distinguished Lecture Series.
February 2013: Insup Lee gave a talk Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems (MDCPS) as part of Triangle Computer Science Distinguished Lecturer Series. More information available here.
[ All News ]
Platform-Specific Code Generation from Platform-Independent Timed Models. BaekGyu Kim, Lu Feng, Oleg Sokolsky and Insup Lee. In IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.
Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. Meng Xu, Linh T.X. Phan, Oleg Sokolsky, Sisu Xi, Chenyang. Lu, Christopher D. Gill, and Insup Lee. In Real-Time Systems Journal, Volume 51, Issue 6, pp 675-723, November 2015, published online April 2015.
Parameter-Invariant Design of Medical Alarms. James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, and Insup Lee. In IEEE Design & Test, Volume 32, Issue 5, pp 9-16, October 2015.
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, and Insup Lee. In IEEE International Conference on Healthcare Informatics 2015 (ICHI 2015), Dallas, TX, USA, October 2015.
[ All Publications ]