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 ]
The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow. Andrew L. King, Sanjian Chen, and Insup Lee. In Proceedings of 17th IEEE Computer Society symposium on object/component/service-oriented realtime distributed computing (ISORC 2014), Reno, Nevada, USA, June 2014.
Robustness of Attack-resilient State Estimators. Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George Pappas. In Proceedings of 5th International Conference on Cyber-Physical Systems (ICCPS 2014), Berlin, Germany, April 2014. (Best paper award at ICCPS 2014)
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, and Insup Lee. In Proceedings of 5th International Conference on Cyber-Physical Systems (ICCPS 2014), Berlin, Germany, April 2014.
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, and Insup Lee. In Medical Cyber Physical Systems Workshop 2014, Berlin, Germany, April 2014.
[ All Publications ]