We are hiring! Suzanne Embury and I are looking for a talented Ph.D. student 👩‍🎓👨‍🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools. www.findaphd.com/phds/project...

When real looks more AI filtered than AI filtered itself😵‍💫

🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring! If you’re interested, feel free to reach out.

Super excited to share that I will be joining The University of Manchester (@manchester.ac.uk) as a Lecturer in Cyber Security (equivalent to Assistant Professor)! The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.