Pascal Berrang

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 differnet tokenization and quantisation methods)
• Applying ZKPs of inference to AI agents (similar to zkAgents)