Dr Chao Huang BSc, PhD
Lecturer Computer Science
- Work email Chao.Huang2@liverpool.ac.uk
- Personal Websitehttps://chaohuang2018.github.io/main/
- About
- Research
- Publications
- Teaching
About
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.