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 ]
Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients. Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee. In 6th Workshop on Medical Cyber-Physical Systems (MedicalCPS 2015), Seattle, WA, April 2015.
Towards a Model-Based Meal Detector for Type I Diabetics. Sanjian Chen, James Weimer, Michael Rickels, Amy Peleckis and Insup Lee. In 6th Workshop on Medical Cyber-Physical Systems (MedicalCPS 2015), Seattle, WA, April 2015.
Early Detection of Critical Pulmonary Shunts in Infants. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman, and Insup Lee. In Proceedings of 6th International Conference on Cyber-Physical Systems (ICCPS 2015), Seattle, WA, April 2015.
Sensor attack detection in the presence of transient faults. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee. In Proceedings of 6th International Conference on Cyber-Physical Systems (ICCPS 2015), Seattle, WA, April 2015.
Platform-Specific Timing Verification Framework in Model-Based Implementation. BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, and Insup Lee. In Proceedings of Design, Automation & Test in Europe (DATE 2015), Grenoble, France, March 2015.
[ All Publications ]