I was promoted to Reader in 2020, following a promotion to Senior Lecturer (Associate Professor) in 2019. Prior to Liverpool, I worked at University of Oxford, University of New South Wales, and Chinese Academy of Sciences.
My research concerns the correctness (e.g., safety, trustworthiness, etc) of autonomous systems, including
- verification of neural network-based deep learning on safety and security properties,
- practical analysis techniques (software testing, safety argument, certification, etc) for machine learning techniques,
- interpretation and explanation of deep learning, and
- logic-based approaches for the specification, verification and synthesis of autonomous multi-agent systems.
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.4M, and co-I for more than £15M. I will be directing the VR (Verified Robotics) Laboratory in the coming Digital Innovation Facility (DIF) Building.
New Open Positions:
- We are recruiting a postdoctoral researcher for the H2020 project on "FOCETA - Foundations for Continuous Engineering of Trustworthy Autonomy". The position will be 3 years. You will collaborate with many research institutes and large companies across Europe. The topic will be on the verification and validation of learning-enabled systems. Details please refer to the job advertisement.
- I am always looking for self-motivated PhD students who are interested in topics related to the safety, security, interpretability, and trustworthiness of deep learning, and deep learning enabled autonomous systems. Please feel free to get in touch.
- (03/2020) AISafety workshop will be held again with IJCAI2020.
- (08/2019) SafeAI will be held again as a workshop of AAAI2020.
- (08/2019) Organising workshop AI&FM2019 at ICFEM2019 , to discuss how to make AI and formal methods (and software engineering) mutually beneficial. It will be on 5th Nov, 2019.
- (02/2019) SafeAI will be held again, as a workshop of IJCAI2019, website: https://www.ai-safety.org/.
- (08/2018) Co-organising a AAAI workshop on AI safety (http://www.safeai2019.org).
Recent News (for all News please go to the News tab)
- (07/2020) Our paper "Lightweight Statistical Explanations for Deep Neural Networks" has been accepted to ECCV2020.
- (07/2020) Our paper "Regression of Instance Boundary by Aggregated CNN and GCN" has been accepted to ECCV2020.
- (06/2020) Our paper "Practical Verication of Neural Network Enabled State Estimation System for Robotics" has been accepted to IROS2020.
- (05/2020) Our survey paper "A Survey of Safety and Trustworthiness of Deep Neural Networks" has been accepted to the journal of Computer Science Survey. It's current arXiv version is here
- (06/2020) We are recruiting a postdoctoral researcher for the H2020 project on "FOCETA - Foundations for Continuous Engineering of Trustworthy Autonomy". The position will be 3 years. You will collaborate with many research institutes and large companies across Europe. The topic will be on the verification and validation of learning-enabled systems.
- (10/2019) Have a 4-year PhD studentship funded by Dstl to work on "Statistical Approach to Assess the Trustworthiness of Robotics and AI". Please get in touch ASAP if you are interested in the position.
- (05/2019) We have a 2+ year postdoc position in the area of machine learning, software engineering, and automated verification,
working on the topic of “verification and testing of learning-enabled systems”. Please find more details here. The position can start any time from now. If you are interested in, please feel free to get in touch.
- (05/2018) We have a new vacancy for PhD student, in conjunction with IBM, to explore "property-aware learning" on how to ensure the correctness of systems with learning-enabled components
(such as deep learning components) by imposing constraints (e.g., safety, security, ethical norms, etc) during the learning process. Advertisement can be found
from findAPhD. The funding is for four years, waiving the tuition fee and having
stipend 14,777 per year.
Exceptional international student can apply, and please contact me first. The position needs to start before October, so please apply ASAP.
- (03/2018) a fully-funded PhD positions is available. The student will be advised by me and Dr. Wei-Yun Yao at A*STAR, Singapore, on the topic of Explainable Intelligent Robots. The student will spend two years in Liverpool and Singapore, respectively. Please feel free to contact me if you are interested in. Please find more details here
- (03/2018) a fully-funded PhD positions is available. The student will be advised by me and Prof. Shang-Hong Lai at National Tsing Hua University (NTHU), Taiwan, on the topic of Verified Object Recognition and Manipulation. The student will spend two years in Liverpool and Taiwan, respectively. Please feel free to contact me if you are interested in. Please find more details here .
Postdocs in the project where I was/am the primary investigator
- Nicolas Berthier, 2019 - .
- Youcheng Sun, 2018-2019. now at Queen University of Belfast.
Supervision of Postgraduate Research Students
- Ms Emese Thamo, started from 10/2018, with Dr Yannis Goulermas as the co-supervisor. Before coming to Liverpool, Emese has a BSc at Cambridge.
- topic: Improving the Safety of Deep Reinforcement Learning Algorithms by Making Them More Interpretable
- 10/2018 -
- Mr Wei Huang, started from 02/2019, with Prof. Shang-Hong Lai at National Tsing Hua University, Taiwan, as the co-supervisor. Before coming to Liverpool, Wei has an MSc at Imperial College and a BSc at Xiamen University.
- topic: verification and validation of adaptive systems
- 03/2019 -
- Mr Gaojie Jin, started from 03/2019, with Dr. Xinping Yi as the co-supervisor. Before coming to Liverpool, Gaojie has an MSc at Liverpool University and a BSc at Peking University.
- topic: interpretability
- 02/2019 -
- Ms Amany Alshareef, started from 03/2019, with Prof. Sven Schewe as the co-supervisor. Before coming to Liverpool, Amany has an MSc at Ball State University and a BSc at Umm Al-Qura University.
- topic: testing deep learning
- 03/2019 -
- Ms Peipei Xu, started from 06/2019, with Prof. Frank Wolter as the co-supervisor.
- topic: verification of deep learning
- 06/2019 -
- Mr Dengyu Wu, started from 09/2019, with Dr. Xinping Yi as the co-supervisor.
- topic: energy efficient deep learning
- 10/2019 -
If you are interested in doing a PhD in relevant reserach areas with me, please feel free to contact me. University of Liverpool has a set of established scholarship schemes
, including Liverpool china scholarship council award
and Sir Joseph Rotblat Alumni Scholarship
. Additional to these, I may have some vacancies from time to time.
- Dr Chen Zhang, China University of Mining and Technology. 12/2019 - 11/2020
- Mr Zhixuan Xu, Renming University of China. 10/2019 - 10/2020
- Mr Francesco Crecchi, University of Pisa, Italy. 04/2019 - 06/2019
"Robotics and Artificial Intelligence" Reading group is to hold a weekly meeting where one of the members will have a 30-40 minutes talk, discussing either their own papers, papers from other research groups, or anything that they are interested in. This will be followed by a Q&A and discussion session among the group on the topic.
Anyone can join by request. If you are interested in, please feel free to drop me a message.
Due to the lockdown, we are mainly holding this through virtual meetings (please click: Zoom meeting
Right now, the meeting time is Tuesday 16:00-17:00, London time.
The following is the schedule. Please drop me message if you have something to discuss (a title of your talk will be good, an abstract will be more than welcomed).
- 16:00-17:00, Tuesday, 07/07/2020. Xinping Yi. Topic: spectral analysis of convolutional neural networks
- 16:00-17:00, Tuesday, 14/07/2020. Gaojie Jin. Topic:
- 16:00-17:00, Tuesday, 21/07/2020. Wei Huang. Topic:
- 16:00-17:00, Tuesday, 28/07/2020. Peipei Xu. Topic:
- 16:00-17:00, Tuesday, 04/08/2020. Dengyu Wu. Topic:
- 16:00-17:00, Tuesday, 11/08/2020. Han Yu. Topic:
- 16:00-17:00, Tuesday, 18/08/2020. Xiaowei Huang. Topic: