Supversion & Teaching
PhD Supervision
PhD Supervision
Currently I am supervising 6 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
Teaching
2021-2022: COMP313 Formal Methods