About
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.