News

2026

Jan 2026 Awarded Foresight Research grant ($161,376) for "Zero Knowledge Attestation for AI Security".

2025

Jul 2025 Founded Zeroth Research – AI Safeguarding startup, grant-funded through ARIA.
Jul 2025 Keynote speaker at Symposium on AI Verification (AIVerification.org), Zagreb, Croatia – "Towards Verifiable NLP".
Jul 2025 Awarded £994,552 ARIA Safeguarded AI Grant as PI for "Infrastructure for Safeguarded AI Systems".
May 2025 Invited speaker at Responsible AI Lab – Business in the Community, London – "Cybersecurity in the Age of Responsible AI".

2024

Dec 2024 Expert commentary in Daily Mail on cybersecurity threats of SMS interceptions.
Nov 2024 Invited talks at Oxford Verification Seminars and Durham University AIHS Seminars.
Oct 2024 Awarded Manifund grant ($128,000) for "Formal Certification Technologies for AI Safety".
Nov 2024 Awarded £150,000 DSTL grant for "A Unified Framework for SNNs in Defence Contexts".
Oct 2024 Awarded Innovate UK Cyber Local grant for HackRoom – immersive cybersecurity escape rooms.
May 2024 Launched West Midlands chapter of Automotive Security Research Group (ASRG) with 50+ industry participants.
May 2024 Media interview in The Sun on AI voice cloning threats.
May 2024 Invited talk at Surrey Cyber Cluster on "Attacks on Autonomous Vehicle Sensors and AI Reasoning".
Feb 2024 Invited expert at UK-Canada Frontiers of Science Meeting on AI, Ottawa.
Jan 2024 Research on account takeover attacks featured in 20+ media outlets (MSN, Tech Spark, Science Daily) reaching 30M+ readers. link

2023

Oct 2023 Invited talk at UKC3 Pan Cluster Event: "Future of AI: Benefits, Risks & Responsibilities".
Oct 2023 Radio interview on Free Radio / Hits Radio Network discussing AI Safety (around AI Safety Summit).
Jun 2023 Invited talk at Third Conference on Resilient and Robust Sensing for Autonomous Vehicles, Warwick.
Feb 2023 Started as Assistant Professor at the University of Birmingham, School of Computer Science.

2022

29 Jun Won Informatics Staff Award for teaching Secure Programming MSc. link
18 Jun Extended abstracts accepted at FoMLAS22: Why Robust Natural Language Understanding is a Challenge and Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks.
31 May New paper at SENSEI@SafeComp: Towards Interdependent Safety Security Assessments Using Bowties.
14 Apr Presented autonomous research vehicle at the Edinburgh Science Festival. poster
4 Mar New paper at FormaliSE@ICSE: Automating Cryptographic Protocol Language Generation from Structured Specifications. pdf
10 Feb New preprint: Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers. arxiv
12 Jan Started part-time position as University Teacher at Edinburgh, running MSc Secure Programming.

2021

26 Oct Interview with Directindustry Magazine: "Is the Dream of Self-Driving Cars Dead?" link
19 May New preprint: MetaCP: Cryptographic Protocol Design Tool for Formal Verification. arxiv
17 May New preprint: A Review of Intrusion Detection Systems and Their Evaluation in the IoT. arxiv
6 Apr Published article in The Conversation: "Perfecting self-driving cars – can it be done?" – 24,194 readers. link
23 Mar New preprint: Explainable Machine Learning-driven Strategy for Automated Trading Pattern Extraction. arxiv
18 Mar Joined UK-SPS Organizing Committee – UK-wide Seminar Series on Cyber Security. link
28 Jan Successfully defended PhD viva.

2020

14 Dec Started Research Associate position at University of Edinburgh – working on security of autonomous systems.
13 Dec Submitted PhD thesis: "A Methodology for the Quantitative Evaluation of Attacks and Mitigations in IoT Systems".