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 ]
Architecture-Centric Software Development for Cyber-Physical Systems. Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee. In Proceedings of First Workshop on Cyber-Physical System Architectures and Design Methodologies (CPSArch 2014), New Delhi, India, October 2014.
Towards Assurance Cases for Resilient Control Systems. James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee. In Proceedings of 2nd International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014), Hong Kong, China, August 2014.
Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. M. Pajic, Z. Jiang, O. Sokolsky, I. Lee and R. Mangharam. In ACM Transactions on Embedded Computing, Volume 13 Issue 4s, Article No. 127, July 2014.
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)
[ All Publications ]