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 ]
Estimation of Blood Oxygen Content Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas and Insup Lee. In Proceedings of 7th International Conference on Cyber-Physical Systems (ICCPS 2016), Vienna, Austria, April 2016.
Scalable Verification of Linear Controller Software. Junkil Park, Miroslav Pajic, Insup Lee and Oleg Sokolsky. In Proceedings of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Eindhoven, The Netherlands, April 2016.
Representation of Confidence in Assurance Cases using the Beta Distribution. Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee. In Proceedings of IEEE High Assurance Systems Engineering Symposium (HASE 2016), Orlando, Florida, USA, January 2016.
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical. Radoslav Ivanov, Miroslav Pajic, and Insup Lee. To appear in ACM Transactions on Embedded Computing Systems,accepted in Nov 2015.
Attack-Resilient State Estimation in the Presence of Noise. Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas. In Proceedings of 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015.
[ All Publications ]