Bio
Pascal leads SASH's technical work on AI verification and is an Associate Professor in Computer Security at the University of Birmingham. He brings over a decade of security and privacy research, recognised with an NDSS Distinguished Paper Award, and blockchain R&D since 2017, which is where his zero-knowledge proof expertise comes from. He previously co-founded Zeroth Research, an ARIA-funded non-profit working on provable AI safety.
Projects
Provisional list, to be updated.
- Integrating non-dense LLM architectures into zero-knowledge proof systems
- Running experiments to understand how to apply ZKPs in the production inference stack (e.g., using different tokenization and quantisation methods)
- Applying ZKPs of inference to AI agents (similar to zkAgents)