Supversion & Teaching

PhD Supervision

Currently I am supervising 4 PhD students together with my Liverpool colleagues.

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

Safe, Secure and Explainable AI
Software Reliability Engineering
Probabilistic Verification
Assurance for Autonomous Systems

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

Teaching

2021-2023 (x2): COMP313 Formal Methods (with score 4.4/5 based on student surveys)

Successful Stories

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 System.
Our PhD student Wei Huang won the ‘most original approach’ award at Siemens Mobility Artificial Intelligence Dependability Assessment – Student Challenge.