Personal Statement
I am Professor of Computer Science at the University of Liverpool, and the lead of the Trustworthy Autonomous Cyber Physical System Lab. The research my group is currently conducting spans over machine learning, formal methods, and robotics.

My research is on trustworthy AI, with expertise on verification, explainable AI, and AI safety and security.

Research publications are available at my google scholar profile.

For prospective PhD students with enthusiasm on research, you are welcomed to get in touch through the below email address.

Research Overview
The research my group is currently conducting spans over machine learning, formal methods, and robotics. If you are interested in these areas and want to collaborate with us, please feel free to get in touch.

Specifically, we are interested in analysing autonomous systems -- systems that can learn, adapt, and make decisions by themselves -- in terms of their properties (e.g., safety, robustness, trustworthiness, security, etc), to understand if they are applicable to safety critical applications, and constructing autonomous systems with these properties satisfied. This may include (but not limited to)
1. verification of neural network-based deep learning on safety and security properties,
2. practical analysis techniques (software testing, safety argument, certification, etc) for machine learning techniques,
3. interpretation and explanation of deep learning, and
4. logic-based approaches for the specification, verification and synthesis of autonomous multi-agent systems.
Currently, the application areas we are addressing include self-driving cars, underwater vehicles, and other robotics applications. We are also interested in various healthcare applications where safety and interpretability are important.

The research has been funded by Dstl, EPSRC, European Commission, etc. I have been the PI (or Liverpool PI) for projects valued more than £1.86M, and co-I for more than £15M. I am directing the Autonomous Cyber Physical Systems Laboratory (https://cgi.csc.liv.ac.uk/~acps/index.html), which is now at Ashton Building and will be re-located to the new Digital Innovation Facility (DIF) Building.