Personal Statement
I am lecturer of Computer Science at the University of Liverpool, UK. My research interests include formal verification and design of various intelligent systems with provable guarantees, including Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems, and various applications, such as autonomous driving and mobile robot navigation.

Research Overview
My research interests include formal verification and design of various intelligent systems with provable guarantees, including Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems, and various applications, such as autonomous driving and mobile robot navigation. I published more than 20 articles at top-tier conferences and journals on machine learning safety in the past few years, e.g., CAV, HSCC, EMSOFT, FM, IJCAI, ICRA, DAC, ICCAD, TECS, TCAD. My paper at ICCAD 2020 was selected as Best Paper Candidate. I also served as a PC member on the conferences, e.g., RTSS, HSCC, SETTA.