Security and Privacy-Aware Cyber-Physical Systems

Insup Lee is Cecilia Fitler Moore Professor of Computer and Information Science and Director of PRECISE Center, which he co-founded in 2008 at the University of Pennsylvania. His research interests include cyber- physical systems (CPS), real-time systems, embedded systems, high- confidence medical device systems, formal methods, run-time verification, assurance cases, CPS security, and trust management. The theme of his research activities has been to assure and improve the safety, security, and timeliness of life-critical embedded systems. His papers received the best paper awards in IEEE RTSS 2003, CEAS 2011, IEEE RTSS 2012, and ACM/IEEE ICCPS 2014, and the best student paper in IEEE RTAS 2012. Recently, he has been working in medical cyber-physical systems and security of cyber-physical systems. He has served on numerous program committees, chaired many international conferences and workshops and served on various steering and advisory committees of technical societies. He has served on the editorial boards on the several scientific journals, including ACM Transactions on CPS, Journal of ACM, 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). He is Chair of ACM SIGBE (2015-2017) and was Chair of IEEE TCRTS (2003-2004). He was a member of Technical Advisory Group (TAG) of President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (2006- 2007). He is a member of the National Research Council's committee on 21st Century Cyber- Physical Systems Education (2013-2015). He received an appreciation plaque from Ministry of Science, IT and Future Planning, South Korea, for speaking at the Universal Linkage for Top Research Advisor (ULTRA) Program Forum in 2013. He is IEEE fellow and received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008.