ID2015 - 9:30a - Insup - Welcome Remarks 1

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, where he has been since 1983. He was CSE Undergraduate Curriculum Chair from September 1994 to August 1997.

His research interests include cyber physical systems (CPS), real-time systems, embedded systems, formal methods and tools, medical device systems, and software engineering. The theme of his research activities has been to assure and improve the correctness, safety, and timeliness of life-critical embedded systems. In collaboration with his colleagues and students, he has been working on: Temporal Scope and Timed Atomic Commitment for real-time systems; specification, analysis, and testing techniques based on real-time process algebra (ACSR); a hierarchical specification language for hybrid systems (CHARON); the first runtime verification (RV) system called (MaC) that that can be used to assure the correctness of a running system through monitoring and checking of safety and QoS properties; compositional analysis techniques for hierachical real-time systems (CARTS); high-confidence medical device software and systems (HCMDSS); and quantitative trust management (QTM) that combines policy-based trust management with reputation-based trust management. Since the inception of CPS, he has been working in the area of medical cyber physical systems.

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 has served on many program committees and chaired several international conferences and workshops, including IEEE RTSS, IEEE RTCSA, IEEE ISORC, CONCUR, ACM EMSOFT, and HCMDSS/MD PnP. 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 on the several scientific journals, including IEEE Transactions on Computers, Formal Methods in System Design, and Real-Time Systems Journal. He is a founding co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering (JCSE) since Sept 2007. 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). He is IEEE fellow and received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008.