| Feb 01, 2026 | Mentoring two SPAR Spring 2026 projects: Proving Model Equality in Zero-Knowledge and Proving Safety Properties of Guardrail Models. |
| Jan 15, 2026 | Paper accepted at WWW 2026: Evasion Under Blockchain Sanctions. |
| Jan 01, 2026 | Awarded a Foresight Institute grant for ZK attestation for AI security (with Luca Arnaboldi). |
| Jul 01, 2025 | Launched Zeroth Research, a non-profit startup making intelligent systems safe, with mathematical certainty. |
| Apr 01, 2025 | Awarded ARIA funding for our project on privacy-preserving AI safety verification using zero-knowledge proofs (with Mirco Giacobbe and Yang Zhang). |
| Oct 01, 2024 | Promoted to Associate Professor in Computer Science at the University of Birmingham. |