AI agents that don't hallucinate
Helping companies build the next generation of AI agents that don't hallucinate. Grounded in formal mathematical verification.
Team
Cristopher Salvi
Ex-associate professor of applied mathematics at Imperial. Cris has contributed to the theoretical foundations of generative flow and diffusion models and post-transformer architectures for sequence modelling, and deployed this technology across AI, finance, and quantum computing industry projects.
Robert Smith
Former Managing Director and Global Head of Quantitative Research in credit markets at Citi with over 20 years of experience in quantitative financial modelling. Rob built and led global teams integrating AI into advanced trading and risk infrastructure.
Massimiliano Gubinelli
Wallis Professor of mathematics at the University of Oxford. A leading figure in stochastic analysis, Max has made transformative contributions to rough path theory, singular SPDEs, and constructive quantum field theory.
Rémy Degenne
Associate professor at Inria Lille, specialising in sequential machine learning and decision theory. Rémy is a pioneer in formalising probability theory in Lean 4.
Martin Hairer
Fields Medalist, Breakthrough Prize winner, and full professor of mathematics at EPFL and Imperial. Martin's work on stochastic PDEs has reshaped modern probability and stochastic analysis.
Kevin Buzzard
Full professor of pure mathematics at Imperial and the world's leading expert in formal mathematics. Kevin is leading the formalisation of Fermat's Last Theorem, the most technically demanding project in mathematical formalisation to date.
Further Team Members
Archie Browne (Imperial PhD) · Dan Shmelev (Imperial PhD) · David Ledvinka (Imperial Postdoc) · Juanjo Madrigal (10+ yrs software) · Kexing Ying (EPFL PhD) · Krzysztof Kroczak (13+ yrs software) · Maud Lemercier (Oxford Postdoc) · Nikolas Tapia (TU Berlin Postdoc) and more
Backed by
Careers
We are looking for exceptional mathematicians, engineers, and researchers to help build the verification layer for the next generation of AI.
If you are interested in joining us, get in touch.