Influential Paper Award at RTSS 2025
December 2025
Insup Lee received the Influential Paper Award at the IEEE Real-Time Systems Symposium (RTSS) 2025 for his co-authored paper, “Periodic Resource Model for Compositional Real-Time Guarantees,” written with Insik Shin. Originally developed during Shin’s PhD at the University of Pennsylvania, the paper fundamentally reshaped hierarchical real-time scheduling.
More than two decades after its publication, the framework introduced in this work remains foundational, continuing to influence how researchers and practitioners design safe and predictable real-time systems. Lee attended RTSS 2025 in person to accept the award, which recognizes the paper’s lasting impact on the field.
Best Paper Award Nomination at ICCPS 2025
May 2025
A paper co-authored by Insup Lee, titled “Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios”, was nominated for the Best Paper Award at the 16th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). The nomination recognizes impactful contributions to runtime safety assurance for AI-based cyber-physical systems and was announced during CPS Week 2025 at UC Irvine.
Research Breakthrough in Transfer Learning Optimization
April 2025
Thomas Zhang, a PhD candidate co-advised by Insup Lee and Nikolai Matni, introduced a novel class of optimization algorithms designed to address failures in multi-task transfer learning. This work paves the way for safer, more robust applications of AI in domains such as robotics and autonomous vehicles.
Advancing Explainability in Multimodal AI Systems
March 24, 2025
Jean Park, a doctoral student advised by Insup Lee, presented her work at AAAI 2025 introducing the Modality Importance Score, a new framework that quantifies the role of each input modality in AI decision-making. The research contributes to the development of interpretable and trustworthy multimodal AI systems.
IEEE Distinguished Leadership Recognition
March 2023
Insup Lee was awarded the Distinguished Leadership Award by the IEEE Technical Committee on Cyber-Physical Systems (TCCPS). The honor acknowledges his visionary leadership in shaping cyber-physical systems as a foundational scientific discipline, particularly his pioneering work in medical CPS safety.
Best Paper Award at ICCPS 2022
May 2022
The paper “Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems”, co-authored by Insup Lee, was awarded Best Paper at ICCPS 2022. The work provides new tools for identifying and responding to data distribution changes in AI-driven systems, supporting safer and more reliable autonomy.
Collaboration to Improve Clinical Device Integration
August 2020
Insup Lee’s team partnered with Hillrom and the Penn School of Nursing to develop improved interoperability among clinical medical devices. This effort focused on optimizing real-time data flow and coordination between patient-monitoring technologies to enhance clinical outcomes.
Launch of ACM Transactions on Computing for Healthcare (HEALTH)
March 2020
The inaugural issue of ACM Transactions on Computing for Healthcare (HEALTH) has been published, marking a major milestone in interdisciplinary research at the intersection of computing and health. Insup Lee serves as Co-Editor-in-Chief, helping to shape the journal’s vision of advancing healthcare through foundational and applied innovations in computing. The issue is now available in the ACM Digital Library.
Test-of-Time Award in Runtime Verification
November 2019
Insup Lee, alongside Oleg Sokolsky and collaborators, received the Test-of-Time Award at the Runtime Verification 2019 conference. The award honored their seminal 2001 paper “Java-MaC: A Run-time Assurance Tool for Java Programs”, which laid the foundation for real-time software monitoring techniques still in use today.
Best Paper Award at MEMOCODE 2019
October 2019
Insup Lee and colleagues were recognized with the Best Paper Award at MEMOCODE 2019 for “Detecting Security Leaks in Hybrid Systems with Information Flow Analysis”. This research advances formal methods to secure systems that blend software and physical processes.
Best Paper Award at RTAS 2019
April 2019
Insup Lee’s paper “Holistic Resource Allocation for Multi-Core Real-Time Systems” received top honors at the 25th IEEE RTAS conference. The paper proposes a unified framework for managing computational resources in safety-critical embedded systems.
Deans’ Distinguished Visiting Professorship
January 2019
The Perelman School of Medicine named Insup Lee as a Deans’ Distinguished Visiting Professor. During his appointment, he delivered an invited lecture titled “The Internet of Medical Things (IoMT)”, highlighting CPS challenges in connected healthcare.
Best Paper Award at ISORC 2018
June 2018
The paper “Data Freshness Over Engineering: Formulation and Results”, co-authored by Insup Lee, received the Best Paper Award at IEEE ISORC 2018. The work addresses the critical problem of maintaining fresh, real-time data in cyber-physical systems.
$6.1M ONR Grant to Reduce CPS Software Complexity
February 2018
Insup Lee and the PRECISE research team were awarded $6.1 million from the Office of Naval Research to study ways to reduce software complexity in mission-critical cyber-physical systems, aiming to improve their safety, reliability, and maintainability.
PRECISE Center and Insup Lee Featured in Penn Engineering Magazine
December 2017
The Fall 2017 edition of Penn Engineering Magazine spotlighted the PRECISE Center and its Director, Insup Lee, in a comprehensive feature spanning pages 3–7. The article explored the Center’s pioneering work in cyber-physical systems, medical device security, and trustworthy autonomy, highlighting Lee’s leadership in bridging academic research with real-world impact across critical domains.
Elected ACM Fellow
December 2017
Insup Lee was named a Fellow of the ACM in recognition of his foundational contributions to cyber-physical systems, embedded systems, and medical device safety.
Appointed Co-Director of Penn Health-Tech
May 2017
Insup Lee was appointed Co-Director of Penn Health-Tech, a cross-disciplinary innovation hub uniting engineering and medicine to develop transformative health technologies.
Keynote at HotSoS 2017
April 2017
At the 2017 Symposium and Bootcamp on the Science of Security (HotSoS), Insup Lee delivered a keynote titled “Security of Cyber-Physical Systems: Challenges and Approaches”, highlighting vulnerabilities in smart, connected systems and how to mitigate them.
Best Paper Award at CPSNA 2016
October 2016
The paper “Adaptive Transient Fault Model for Sensor Attack Detection”, co-authored by Minsu Jo, Junkil Park, Yungmi Baek, Radoslav Ivanov, James Weimer, Sanghyuk Son, and Insup Lee, received the Best Paper Award at the IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2016). The work presents a novel model for detecting transient faults in sensors caused by cyber-physical attacks, advancing the field of secure and resilient sensing in CPS applications.
Keynote on Medical IoT at IEEE Connected Health
June 2016
Insup Lee gave the keynote at the inaugural IEEE Connected Health Conference in Washington, D.C., where he spoke on “Internet of Medical Things to Enable Medical Cyber-Physical Systems”, emphasizing safety and regulatory issues in connected health devices.
Leads NSF-Intel CPS Security and Privacy Project
August 2015
Insup Lee was awarded a large-scale research project jointly funded by NSF and Intel, focused on enhancing privacy and security in cyber-physical systems. The collaboration spans Penn Engineering, Penn Medicine, Law, Sociology, and partner universities including Michigan and Duke.
Elected Chair of ACM SIGBED
June 2015
Insup Lee was elected Chair of ACM SIGBED, the special interest group on embedded systems, affirming his role as a leading voice in embedded and real-time system research.
Best Paper Award at ICCPS 2014
April 2014
Insup Lee and collaborators received the Best Paper Award at ICCPS 2014 for their work “Robustness of Attack-Resilient State Estimators”. The research offers novel methods to protect cyber-physical systems from sensor attacks and enhances fault tolerance in safety-critical platforms.
Appointed to NRC Committee on CPS Education
December 2013
The National Research Council appointed Insup Lee to its Committee on 21st Century CPS Education, contributing his expertise to help define the next generation of cyber-physical systems curricula.
Recognized by Korean Ministry of Science
August 2013
Insup Lee received a commendation from Korea’s Ministry of Science, ICT, and Future Planning for his contributions to research collaboration and scientific leadership in the field of CPS.
Co-Chair of CPS Week 2013
April 2013
As Co-Chair of CPS Week 2013, Insup Lee helped lead one of the premier global events for cyber-physical systems research, drawing academic and industry leaders from around the world.
Invited Talks on Medical CPS Innovation
March 2013
Insup Lee delivered invited lectures at Wayne State University and the Triangle Distinguished Lecture Series, discussing safety and interoperability challenges in medical cyber-physical systems.
Distinguished Lecture: Insup Lee on the Safety and Security of Medical CPS
February 2013
Insup Lee delivered a keynote titled “Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems (MDCPS)” as part of the Triangle Computer Science Distinguished Lecturer Series. His talk highlighted critical challenges and emerging solutions in ensuring the dependable operation of MDCPS, drawing attention to their growing role in modern healthcare and the importance of integrating safety, security, and real-time performance in their design.
Best Paper Award at RTSS 2012
December 2012
Insup Lee received the Best Paper Award at IEEE RTSS 2012 for work advancing fixed-priority scheduling theory. The paper extends task-level techniques to the job-level, offering new tools for analyzing complex real-time systems.
NSF CPS Project Presented at NIH Site Visit for Quantum Project
November 2012
Insup Lee presented an overview of Penn’s NSF Cyber-Physical Systems (CPS) large project during the NIH site visit for the Quantum Project, hosted at Massachusetts General Hospital and the Center for Integration of Medicine and Innovative Technology (MGH/CIMIT) in Boston. His presentation highlighted interdisciplinary advances in CPS for healthcare, emphasizing Penn’s leadership in secure and dependable system design at the intersection of engineering and medicine.
DARPA Awards $4.8M for SPARCS Cybersecurity Project
August 2012
Insup Lee (PI), along with Rahul Mangharam, Nathan Michael, George Pappas, Oleg Sokolsky, Stephanie Weirich (Penn), and Paulo Tabuada (UCLA), secured a $4.8 million DARPA grant under the High-Assurance Cyber Military Systems (HACMS) program. Their project, SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems, pioneers techniques to safeguard mission-critical systems from cyber attacks through formal verification and control synthesis.
Generic Infusion Pump Featured in The Economist
June 2012
The Generic Infusion Pump (GIP) project, led by Insup Lee, was highlighted in The Economist as a breakthrough in open-source medical technology. The article showcased how GIP offers a safe, extensible foundation for the development and certification of next-generation medical devices.
Distinguished Lecture on Medical CPS at University of Minnesota
May 2012
Insup Lee delivered a keynote talk, Challenges and Research Directions in Medical Cyber-Physical Systems, as part of the DTC Science and Technology Innovators Series at the University of Minnesota. The lecture outlined the evolving landscape of embedded medical devices and the importance of trustworthy design in life-critical systems.
Chair of ICCPS 2012, Beijing
April 2012
As General Chair, Insup Lee helped organize the ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS 2012), held in Beijing as part of CPS Week. The conference gathered global thought leaders to discuss rigorous approaches to building dependable CPS technologies for everything from energy to healthcare.
Best Student Paper Award at RTAS 2012
April 2012
The paper From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study—authored by Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam—earned the Best Student Paper Award at RTAS 2012. The work bridged theoretical model verification with practical embedded implementation in medical devices.
Wikipedia Deletion Study Featured in Chronicle of Higher Ed
October 2011
Research by Andrew West and Insup Lee on content removal trends in Wikipedia was spotlighted in The Chronicle of Higher Education article “What Wikipedia Deletes, and Why.” Their study offered data-driven insights into the dynamics of trust and misinformation in the world’s largest collaborative encyclopedia.
Best Paper Award at CEAS 2011 for Wikipedia Spam Detection
September 2011
Doctoral student Andrew West won co-Best Paper at CEAS 2011 in Perth for Link Spamming Wikipedia for Profit, co-authored with Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, and Insup Lee. The paper uncovered how spammers exploit Wikipedia to drive traffic and generate ad revenue.
Invited Talk on Medical CPS in Brussels
June 2011
Insup Lee was invited to speak at the first joint European/US Workshop on Networked Monitoring and Control/Cyber-Physical Systems in Brussels, delivering a talk on medical CPS and the need for trustworthy embedded platforms in healthcare systems.
Plenary Talk on CPS at ISET in Korea
May 2011
At the International Symposium on Embedded Technology (ISET) in Jeju, Korea, Insup Lee delivered the plenary talk, Cyber-Physical Systems: 21st Century Embedded Systems, highlighting research advances and global challenges in the design of deeply integrated computational-physical systems.
Invited Lecture at CPS Day, DGIST
May 2011
Insup Lee gave an invited lecture at CPS Day hosted by DGIST in Daegu, South Korea. The talk explored compositional scheduling and timing analysis techniques for safety-critical real-time embedded systems.
Advisory Role for Body Sensor Network Contest
May 2011
Insup Lee served on the Advisory Committee for the Body Sensor Network Contest, helping shape innovation at the intersection of wearable sensing, health data, and cyber-physical integration.
Program Chair for ICCPS 2011, Chicago
April 2011
Insup Lee chaired the ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS 2011), held in Chicago as part of CPS Week. The conference brought together researchers and practitioners advancing the rigor and scalability of CPS architectures.
Co-Organizer of CRTS 2010 Workshop
December 2010
Insup Lee co-organized the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010) held in San Diego, California, fostering collaboration on theoretical advances in real-time embedded systems design.
Distinguished Lecture on Medical Cyber-Physical Systems
December 2010
Insup Lee delivered a distinguished lecture on Medical Cyber-Physical Systems at Washington University’s Department of Computer Science, highlighting cutting-edge research on safety, security, and reliability in medical device integration.
General Co-Chair of Runtime Verification Conference
November 2010
As General Co-Chair, Insup Lee led the inaugural International Conference on Runtime Verification (RV 2010) in Malta, a key event advancing methods to ensure correctness in cyber-physical and software systems.
Keynote: Cyber-Physical Systems as the Next Computing Revolution
July 2010
At the ACACES International Summer School in La Mola, Spain, Insup Lee delivered a keynote speech exploring the transformative potential of cyber-physical systems in shaping future technology landscapes.
Special Session on Medical CPS at DAC 2010
June 2010
Insup Lee organized and led the special session on Medical Cyber-Physical Systems during the 47th Design Automation Conference (DAC 2010), emphasizing innovations at the intersection of embedded systems and healthcare.
Keynote at ADREAM, Toulouse, France
June 2010
Insup Lee presented a keynote talk on Cyber-Physical Systems at the Cornerstone Ceremony of ADREAM, LAAS-CNRS in Toulouse, France, sharing insights on the challenges and opportunities in CPS research and application.
FDA Recognition for General Infusion Pump Project
April 2010
The General Infusion Pump (GIP) project led by Insup Lee was listed as a key initiative in the FDA’s infusion pump improvement program, demonstrating its significance in enhancing medical device safety and interoperability.
Co-Organizer of CRTS 2009 Workshop
December 2009
Insup Lee co-organized the 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2009) in Washington, D.C., promoting foundational research in real-time systems theory.
Banquet Speaker at RTSS 2009
December 2009
Insup Lee delivered the keynote banquet address at the 30th IEEE Real-Time Systems Symposium (RTSS) in Washington, D.C., sharing his vision on the evolving role of real-time systems in cyber-physical applications.
Co-Organizer of Medical Devices Workshop at CPS Week
April 2009
Insup Lee co-organized the Joint Workshop on High-Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) as part of CPS Week 2011 in San Francisco, advancing dialogue on medical device interoperability and safety.
Advisory Board Member for CPS Summer School
June 2009
Insup Lee served on the Advisory Board for the Cyber-Physical Systems Summer School at Georgia Institute of Technology, guiding educational programs to train future CPS researchers.
Contributor to Federal Strategic Plan on Networking and IT
February 2009
Insup Lee contributed to the Federal Strategic Plan for the Networking and Information Technology Research and Development (NITRD) program, shaping national priorities in advanced computing research.
IEEE Outstanding Technical Achievement and Leadership Award
December 2008
Insup Lee received the IEEE Technical Committee on Real-Time Systems’ Outstanding Technical Achievement and Leadership Award, recognizing his pioneering contributions to real-time and embedded systems research.
Co-Organizer of CRTS 2008 Workshop
December 2008
Insup Lee co-organized the 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2008) in Barcelona, Spain, facilitating discussions on compositional approaches in embedded system design.
Workshop Co-Chair for SMDS 2008
November 2008
Insup Lee served as Workshop Co-Chair for the Workshop on Software and Systems for Medical Devices and Services (SMDS 2008), supporting advances in software reliability for medical applications.
Founding Member of PRECISE Center
September 2008
Insup Lee became a founding member of the PRECISE Center at the University of Pennsylvania, focusing on cyber-physical systems research bridging engineering and medicine.
General Co-Chair of RTCSA 2008 Conference
August 2008
Insup Lee was General Co-Chair of the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008) held in Taipei, Taiwan.
Distinguished Visiting Professor at Korea University
March–June 2008
Insup Lee held a prestigious visiting professorship at Korea University in Seoul, engaging in collaborative teaching and research.
Appointment as Co-Editor-in-Chief of JCSE
September 2007
Insup Lee was appointed Co-Editor-in-Chief of the Journal of Computing Science and Engineering (JCSE), published by the Korean Institute of Information Scientists and Engineers (KIISE).
Advisory Committee Member for IT Symposium at US-Korea Conference
August 2007
Insup Lee served on the Advisory Committee for the IT Symposium at the 2007 US-Korea Conference (UKC 2007), promoting bilateral scientific collaboration.
Workshop on High-Confidence Medical Devices
June 2007
Participated in the Joint Workshop on High-Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) in Boston, MA, advancing healthcare technology innovation.
Edward M. Kennedy Award for Health Care Innovation
June 2007
Insup Lee, as part of the Medical Device Plug-and-Play Interoperability Team led by Julian Goldman, received the Edward M. Kennedy Award from CIMIT for leadership in advancing interoperable health technologies.
Co-Chair of NSF Cyber-Physical Systems Workshop
October 2006
Insup Lee co-chaired the National Science Foundation’s foundational Cyber-Physical Systems Workshop, helping set the national CPS research agenda.
Symposium Co-Chair for IEEE ISORC 2006
April 2006
Insup Lee served as Symposium Co-Chair for the 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006) in Gyeongju, Korea, earning an IEEE Computer Society Certificate of Appreciation.
Interview Featured in Korean Online News
November 2005
Insup Lee was interviewed for a Korean online news outlet, sharing insights on real-time systems and cyber-physical systems research.
General Chair of ATVA 2005 Workshop
October 2005
Served as General Chair of the International Workshop on Automated Technology for Verification and Analysis (ATVA 2005) in Taipei, Taiwan.
Co-Chair of ICT Symposium at US-Korea Conference
August 2005
Co-chaired the Information & Communication Technology Symposium (ICTS) at the 2005 US-Korea Conference (UKC), receiving a KSEA Certificate of Appreciation.
Chair of HCMDSS Workshop
June 2005
Chaired the High-Confidence Medical Device Software and Systems Workshop in Philadelphia, PA, promoting safety and reliability in medical device software.
Keynote on Embedded Systems at Samsung SDS Conference
April 2005
Delivered a keynote titled Ubiquitous Realization: Challenges and Opportunities for Embedded Systems at the Samsung SDS Thought Leadership Conference.
KSEA Certificate of Appreciation
April 2005
Received a KSEA Certificate of Appreciation for contributions as Co-Chair of ICTS at the 2005 US-Korea Conference.
Dissertation Advisor for Samsung Electronics Thesis Contest Winner
February 2005
Co-advised Insik Shin, recipient of the Bronze Prize in Samsung Electronics’ Humantech Thesis Contest for a dissertation on real-time embedded systems design.