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.