Supversion & Teaching

For Prospective PhD Students and Postdoctoral researchers

I am currently recruiting new PhD and Postdoc candidates with interests in some of the following areas:

Trustworthy AI
Software Reliability Engineering
Probabilistic Verification
Safety Assurance for Robotics and Autonomous Systems

If you are highly motivated and have a mathematical background, algorithm design and software development skills, please contact me to discuss potential topics and funding opportunities.

PhD Students

Danial Safaei (2024--present at Warwick, co-supervisor, funded by Siemens): Simulation fidelity quantification
Eric Chiu (2024--present at Warwick, 1st supervisor, funded by A*Star): Safe AI policy study
Yuhang Chen (2024--present at Warwick, 1st supervisor, funded by EPSRC): Fidelity of Gen AI
Yi Zhang (2023--present at Warwick, 1st supervisor): Probabilistic robustness
Yi Qi (2021--2025, graduated at Liverpool, 2nd supervisor): Safety analysis for/with AI
Sihao Wu (2021--2025, graduated at Liverpool, 2nd supervisor): Towards Safe and Robust AI Agents: Data Augmentation, Model Distillation, and Inference-Time Alignment
Dr. Wei Huang (2019--2023, graduated at Liverpool, 2nd supervisor): Veriﬁcation and Validation of Machine Learning Safety in Learning-Enabled Autonomous Systems

Postdoc Researchers

Dr. Robab Aghazadeh Chakherlou (03/2025--present): Reliability and quantitative assurance of AI
Dr. Zheng Wang (02/2025--present): Safe AI learning theory

Visiting Scholars

Long Xue (02/2025--08/2025, The Hong Kong Polytechnic University): Uncertainty quantification
Ziyi Hu (09/2025--09/2026, Wuhan University): Optimisation of UAVs

Officially issued by my PhD students 😂.

Successful Stories

Congratulations to my PhD student Yi Zhang in winning the best paper award at the Faculty of Science, Engineering and Medicine Early Career Researcher Symposium 2026, University of Warwick
Congratulations to my PhD student Yi Qi in being nominated for best paper awards at PRICAI'25.
Congratulations to my PhD student Yi Zhang in winning the Warwick Star Award for her excellence in research.
Keep winning: my 2nd year PhD student Yi Zhang and 1st year PhD student Yuhang Chen got a ICCV'25 paper accepted.
Congrats to our 1st-year PhD student Yi Zhang on publishing at the top computer vision conference, ECCV24, just four months after joining us—A remarkable start and a milestone! The paper: "ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation"
Our 2nd-year PhD student, Sihao Wu, has had a paper accepted by AAAI24, marking his first publication since joining us—an excellent start and a milestone!
Our 1st year PhD student Yi Qi published his first academic paper with us "A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems" at AISafety'22 (co-located with IJCAI'22)---A milestone in his career as an AI researcher.
Our PhD student Wei Huang is on the University webpage: Becoming an Expert: Safety Problems in Learning-enabled Autonomous Systems.
Our PhD student Wei Huang won the ‘most original approach’ award at Siemens Mobility Artificial Intelligence Dependability Assessment – Student Challenge.

Teaching

2024-2025 (tutor): ES193 Engineering Mathematics, School of Engineering, University of Warwick
2023-2024 (tutor): ES193 Engineering Mathematics, School of Engineering, University of Warwick
2022-2023 (coordinator and lecturer): COMP313 Formal Methods, Computer Science Department, University of Liverpool
2021-2022 (coordinator and lecturer): COMP313 Formal Methods, Computer Science Department, University of Liverpool

Page updated

Google Sites

Report abuse