PhD Supervision & Teaching

This website stops updating after 1st-Jan-2022. Please ref to my new website at https://www.xzhao.me/

PhD Supervision

I am currently 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.

Teaching

• 2021-2022: COMP313 Formal Methods