UPenn Engineering
Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania
Insup Lee UPenn Lee
Home About Me Research Teaching PRECISE RTG Group News Publications Awards Contact

 

2017  
April Insup Lee gives keynote talk Security of Cyber-Physical Systems: Challenges and Approaches at HotSoS on April 4, 2017.
2016  
June Insup Lee delivers the keynote talk, Internet of Medical Things to Enable Medical Cyber-Physical Systems, at the 1st IEEE International Conference on Connected Health: Applications, Systems and Engineering Technologies, Washington DC, June 28, 2016.
2015  
August Insup Lee is the principle investigator of the recently announced NSF and Intel new, jointly funded large project on CPS security and privacy. The new project is centered at PRECISE and includes collaborators from the Penn medical school, law school, and sociology, as well as University of Michigan and Duke University. Read more
June Insup Lee was elected the Chair of ACM SIGBED, special interest group on embedded systems. SIGBED is a focal point within ACM for all aspects of embedded computing systems, including both software and hardware.
2014  
April 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.
2013  
December Insup Lee was appointed as a member of the NRC's Committee on 21st Century Cyber-Physical Systems Education.
August 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 Insup Lee served as a co-chair of CPS Week 2013.
March 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 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.
2012  
December The Best Paper Award for the 33rd IEEE Real-Time Systems Symposium (RTSS 2012) went to the paper entitled "Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines", jointly written by Penn and KAIST. (Co-authors: Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin and Insup Lee).
November Insup Lee presented an overview of NSF CPS large project during NIH Site Visit for Quantum Project at MGH/CIMIT, Boston
August Drs. Insup Lee (PI), Rahul Mangharam, Nathan Michael, George Pappas, Oleg Sokoslky, Stephanie Weirich (Penn) and Paulo Tabuada (UCLA) received a multidisciplinary grant of $4.8M from DARPA's High-Assurance Cyber Military Systems (HACMS) Program for "SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems"
June The Generic Infusion Pump project, led by Insup Lee, is featured in the article on open-source medical devices in the Economist magazine.
May Distinguished Lecture "Challenges and Research Directions in Medical Cyber-Physical Systems" at DTC Science and Technology Innovators Series, University of Minnesota, May 1, 2012. More.
April General Chair of ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS 2012) held as part of CPS Week 2012, Beijing, China. More.
April The Best Student Paper Award for the 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012) went to Miroslav Pajic et al for their paper entitled "From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study" (Co-authors: Zhihao Jiang, Insup Lee, Oleg Sokolsky and Rahul Mangharam).
   
2011  
October Measurement experiment by Andrew West and Insup Lee was highlighted by the article: "What Wikipedia Deletes, and Why", The Chronicle of Higher Education, Oct 26, 2011.
September Doctoral student Andrew West won co-Best Paper at the 8th Annual Collaboration, Electronic messaging, Anti-Abuse and Spam Conference (CEAS 2011) in Perth, Australia, September 2011 for "Link Spamming Wikipedia for Profit", co-authored by Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, and Insup Lee.
June Invited talk Medical Cyber-Physical Systems at First European/US Workshop on Networked Monitoring & Control/Cyber-Physical Systems, Brussels, Belgium.
May Plenary talk Cyber Physical Systems: 21st Century Embedded Systems at International Sympoisum on Embedded Technology (ISET), Jeju, Korea. More.
May Invited talk Compositional scheduling and analysis techniques for real-time embedded systems at CPS Day @DGIST, Daegu, South Korea.
May Member of Advisory Committee for Body Sensor Network Contest.
April Program Chair of ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS 2011) held as part of CPS Week 2011, Chicago, IL. More.
   
2010  
December Co-organizer of 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010), San Diego, CA.
December Distinguished Lecture Medical Cyber Physical Systems at the Department of Computer Science, Washington University as part of their Distinguished lecture series.
November General Co-Chair, 1st International Conference on Runtime Verification (RV 2010), Malta.
July Keynote talk Cyber Physical Systems: The Next Computing Revolution at ACACES International Summer School, La Mola, Spain. More.
June "Medical Cyber Physical Systems" Special Session on CPS, at 47th Design Atomation Conference (DAC 2010)
June Keynote talk Cyber Physical Systemsn at Cornerstone Ceremony, ADREAM, LAAS-CNRS, Toulouse, France. More.
April GIP (General Infusion Pump) project is listed in the FDA infusion pump improvement initiative, April 23,2010.
   
2009  
December Co-organizer of 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2009), Washington, D.C.
December Banquet talk at the 30th IEEE Real-Time Systems Symposium (RTSS 2009), Washington, D.C.
April Co-organizer for Joint Workshop on High-Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) held as part of CPS Week 2011, San Fransisco, CA. More.
June Member of Advisory Board for CPS Summer School, Georgia Institute of Technology.
February   Federal Strategic Plan for the Networking and Information Technology Research and Development Program. More.
   
2008  
December   IEEE TCRTS Outstanding Technical Achievement and Leadership Award.
December Co-organizer of 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2008), Barcelona, Spain.
November Workshop Co-Chair of Workshop on Software and Systems for Medical Devices and Services (SMDS 2008).
September   Founding member of PRECISE Center.
August   General Co-Chair of International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008), Taipei, Taiwan.
March-June   Distinguished Visiting Professor, Korea University, Seoul, Korea.
   
2007  
September   Became co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering (JCSE). More.
August Member of Advisory Committee, IT Symposium, at the 2007 US-Korea Conference (UKC 2007).
June Joint Workshop on High-Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP), Boston, MA
  Handbook of Real-Time and Embedded Systems
   The Edward M. Kennedy Award for Health Care Innovation 2007, CIMIT (Center for Integration of Medicine and Innovative Technology ), Medical Device "PnP" Interoperability Team, Julian Goldman (leader), Dave Arney, Insup Lee, et al.
   
2006  
October Co-Chair of NSF CPS (Cyber Physical Systems) Workshop.
April Symposium Co-Chair of 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC 2006), Gyeongju, Korea. IEEE Computer Society's Certificate of Appreciation "for your important contributions to ISORC 2006 as a Symposium Co-Chair".
   
2005  
November  Korean On-line News Interview.
October  General Chair of International Workshop on Automated Technology for Verification and Analysis (ATVA 2005), Taipei, Taiwan.
August Co-Chair of Information & Communication Technology Symposium (ICTS) KSEA UKC 2005. KSEA Certificate of Appreciation "in recognition of excellent contribution to KSEA as Co-Chair of ICTS at the 2005 US-Korea Conference (UKC 2005)."
June Chair of High-Confidence Medical Device Software and Systems (HCMDSS) Workshop, Philadelphia, PA.
April Keynote talk Ubiquitous Realization: Challenges and Opportunities for Embedded Systems at Samsung SDS Thought Leadership Conference.
April KSEA Certificate of Appreciation "in recognition of excellent contribution to KSEA as Co-Chair of ICTS at the 2005 US-Korea Conference (UKC 2005)."
February   Dissertation Advisor for Bronze Prize winner in Samsung Electronics' Humantech Thesis Contest, Dissertation on "A Design Framework for Real-Time Embedded Systems with Code Size and Energy Constraints" by Insik Shin and Sheayun Lee, Feb 2005. (Co-advised with Professor Sang Lyul Min at SNU).

Best Paper Award at RTSS 2012, December 2012

CPS Week 2012

 

Best Paper Award at RTSS 2012, December 2012

CPS Week 2012

 

ICCPS Chairs Insup Lee and Oleg Sokolsky with CPS Week 2012 General Chair Wei Zhao, April 2012

CPS Week 2012

 

With former RTG members in Seoul, Feb 12, 2012

With former RTG members in Seoul, Feb 12, 2012

 

PRECISE Team

PRECISE team

 

Insup Lee and Raj Rajkumar, RTSS'09 Banquet, Washington, DC

 

IEEE TCRTS Outstanding Technical Achievement and Leadership Award

 

IEEE TCRTS Outstanding Technical Achievement and Leadership Award

 

Research Team in 2008

 

Copyright © 2011-2016 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.