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.

yea double column PLDI was great