Seminars & Colloquia

Insup Lee

University of Pennsylvania

"Medical Cyber-Physical Systems


Monday March 12, 2012 04:00 PM
Location: 3211, EB2 NCSU Centennial Campus
(Visitor parking instructions)

This talk is part of the Triangle Computer Science Distinguished Lecturer Series



Medical cyber-physical systems (MCPS) arelife-critical, context-aware, networked systems of medical devices. These systems are increasingly used in hospitals to provide high-quality continuous care for patients. The need to design complex MCPS that are both safe and effective has presented numerous challenges, including achieving high assurance in system software, interoperability, context-aware intelligence, autonomy, security and privacy, and device certification. In this talk, I discuss these challenges in developing MCPS and present some of our work in addressing them, and several open research issues.

Short Bio:

Insup Lee is Cecilia Fitler Moore Professor 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. He received the B.S. in Mathematics from the University of North Carolina, Chapel Hill and the Ph.D. in Computer Science from the University of Wisconsin, Madison. His research interests include cyber physical systems (CPS), real-time embedded systems, formal methods and tools, high-confidence medical device systems, and trust management.  The theme of his research activities has been to assure and improve the correctness, safety, and timeliness of life-critical embedded systems, especially in the area of medical cyber physical systems. 

He has served on many program committees and chaired many international conferences and workshops. He has also served on various steering and advisory committees of technical societies, including CPSWeek, ESWeek, ACM SIGBED, IEEE TC-RTS, RV, ATVA. He has served on the editorial boards of the several scientific journals and is a founding co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering (JCSE).  He was Chair of IEEE Computer Society Technical Committee on Real-Time Systems (2003-2004) and an IEEE CS Distinguished Visitor Speaker (2004-2006). He with his student received the best paper award in RTSS 2003. He was a member of Technical Advisory Group (TAG) of President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (NIT), 2006-2007.  He is IEEE fellow and received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008.

Host: Sanjoy Baruah, Computer Science, UNC-CH

Back to Seminar Listings
Back to Colloquia Home Page