Curriculum Vitae
Assistant Professor
University of Birmingham
- Leading research in Verification, Security and AI
- Secured over £1.3M in grants as PI (EPSRC, DSTL, Innovate UK, ARIA)
- Supervising 4 PhD students and 11 research assistants
- QS Lead and Director of PGR Experience
Research Associate
University of Edinburgh
Security and verification of autonomous systems. Output: Q1 journal, two core-ranked conferences (A and B), internationally recognised research tool.
University Teacher (Part-time)
University of Edinburgh
Module Leader for MSc Secure Programming. 100% Strongly Agree ratings. Won Informatics Staff Award.
Visiting Scholar (Part-time)
Heriot-Watt University
Research and co-supervision of MSc projects on autonomous systems. Media interviews and showcase at Edinburgh Science Festival.
Founder & Director
Zeroth Research
AI Safeguarding startup, grant-funded through ARIA. Building verification stack for AI systems with formal proof certificates.
Security Research Consultant
DSTL (via BAE Systems)
Consulting in software protection via automated rewriting.
Research Intern
ARM, Ltd. – Cambridge
First formal model of ACE-OAuth implementation using Tamarin. Designated Expert for IETF ACE Working Group.
Research Intern
ARM, Ltd. – Cambridge
Threat modelling and risk assessment for firmware update protocols in IoT. Proposed novel scheme to protect against update reuse.
PhD in Computer Science
Newcastle University
Thesis: "A Methodology for the Quantitative Evaluation of Attacks and Mitigations in IoT Systems". Industry partner: ARM Ltd. Supervisor: Dr. C. Morisset.
BSc Hons in Computer Science, 1st Class
Newcastle University
Dissertation: "Feature Engineering for an Industrial Data Mining Challenge". Industry partner: XACT Ltd.
Infrastructure for Safeguarded AI Systems
ARIA Safeguarded AI Grant · PI · £994,552
Verification stack for AI systems with formal proof certificates combining SMT, BnB, and ITP methods.
Unified Framework for SNNs in Defence
DSTL · PI · £150,000
Theoretical and practical framework for certifying and deploying Spiking Neural Networks in defence environments.
Zero Knowledge Attestation for AI Security
Foresight Research · PI · $161,376
Formal verification of AI models running on trusted enclaves for accountability in critical environments.
Formal Certification Technologies for AI Safety
Manifund Grants · Co-PI · $128,000
Formal proof certificates for complex specifications defining safety of probabilistic cyber-physical systems.
HackRoom – Unlock Your Cyber Skills to Escape
Innovate UK Cyber Local · Academic PI · £80,497
Immersive cybersecurity escape rooms for practical skills development.
Towards Verifiable NLP – Keynote
Symposium on AI Verification, Zagreb
Cybersecurity in the Age of Responsible AI
Responsible AI Lab, London
Verification Seminars & AIHS Seminars
Oxford & Durham Universities
Future of AI – Invited Expert
UK-Canada Frontiers of Science, Ottawa
Designing a Secure Protocol Using Formal Methods
OAuth Security Workshop, Stuttgart · 4-hour Tutorial
Informatics Staff Award
University of Edinburgh
For teaching Secure Programming MSc.