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