Title:    Safety Design and Verification of Learning-Enabled Cyber-Physical Systems

　　Speaker:   Prof. Chao Huang （黄超），英国利物浦大学

　　Time:      2021-05-07（周五），上午 10:00-11:00

　　Venue:     中科院软件园区5号楼334房间，计算机科学国家重点实验室报告厅

　　Abstract:  Learning-enabled CPSs have been receiving numerous attractions from both academia and industry due to promising applications. They often leverage machine learning techniques in their perception of the environment, and increasingly also in the consequent decision making process for planning, navigation, control, etc. With no doubt, safety is one of the key issues before such systems are applied in practice.

    In this talk, I will introduce our recent works on safety verification and design of learning-enabled systems with respect to perception, adaptation, control and its timing impact on overall execution with theoretical guarantees. This talk aims to provide some insights on mathematical foundation of machine learning from the perspective of formal methods.

　　Bio:  Prof. Chao Huang will join the University of Liverpool this June as a lecturer in aritificial intelligence. He is now a postdoc at the Department of Electrical and Computer Engineering (ECE) in Northwestern University. Prof. Huang received a Ph.D. and a B.E. in CS from Nanjing University in 2018 and 2011 respectively. His research interests include verification and design of intelligent systems, including Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems, and various applications, such as autonomous driving and mobile robot navigation.

    He has published more than 20 articles at top-tier conferences and journals on machine learning safety, e.g., CAV, HSCC, EMSOFT, FM, IJCAI, ICRA, DAC, ICCAD, TECS, TCAD. His paper at ICCAD 2020 was selected as Best Paper Candidate. He also served as a PC member on the conferences, e.g., RTSS, HSCC, SETTA