Grant Passmore
Co-Founder And Co-CEO at Imandra
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolGrant Passmore is the co-founder and Co-CEO of Imandra, leading the development of an automated reasoning platform that proves theorems about algorithms to make AI-driven systems safer, explainable, and fair. With a PhD in Automated Theorem Proving and Algorithmic Algebraic Geometry and over a decade of research and industry experience, he bridges deep formal methods and product-focused engineering. He has held research positions at Cambridge, Edinburgh, Carnegie Mellon and Microsoft Research, and remains a life member of Clare Hall, University of Cambridge. Grant’s work uniquely combines formal verification, algorithmic mathematics and commercial AI products—turning cutting-edge theorem proving into Reasoning as a Service®. Based in Austin, he shepherds Imandra from research prototype to applied platform used to audit complex algorithms in industry. An intellectual polymath, he brings both academic rigor and startup execution to hard problems in AI assurance.
12 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy (PhD) Automated Theorem Proving and Algorithmic Algebraic Geometry, Doctor of Philosophy (PhD) Automated Theorem Proving and Algorithmic Algebraic Geometry at The University of EdinburghMaster Class Mathematical Logic, Master Class Mathematical Logic at Mathematical Research Institute in The NetherlandsBachelor of Arts (BA) Mathematics, Bachelor of Arts (BA) Mathematics at The University of Texas at Austin
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (45)
tla9
verification9
financial-markets9
induction8
theorem8
formal-verification8
sec8
tlaplus7
coq7
formal-methods7
proof6
decimal5
rational-numbers5
byte5
fixed-point5
Programming languages (7)
Github contributions (5)
imandra-ai/contracts
Oct 2016 - Nov 2016
Contributions:9 commits, 8 pushes, 1 branch in 1 day
imandra-ai/ocaml-pltp
Nov 2017 - Nov 2017
Contributions:4 commits, 1 push in 1 day
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.