I am now a Senior Formal Verification Researcher within the Security and Cryptography Group at ARM Research, Cambridge.