Suggestions
Grant Olney Passmore
Co-Founder and Co-CEO, Imandra
Grant Olney Passmore is the Co-Founder of Imandra Inc., known for creating the Imandra automated reasoning system. With a focus on advancing AI for safer, explainable, and fair algorithms, Imandra's Reasoning as a Service® platform is at the forefront of ensuring the dependability of complex software. Grant's academic journey includes a Doctor of Philosophy (PhD) in Automated Theorem Proving and Algorithmic Algebraic Geometry from The University of Edinburgh, a Master Class in Mathematical Logic from the Mathematical Research Institute in The Netherlands, and a Bachelor of Arts (BA) in Mathematics from The University of Texas at Austin. Grant has been associated with prestigious institutions such as the University of Cambridge, Isaac Newton Institute for Mathematical Sciences, Carnegie Mellon University, Microsoft Research, and SRI International, where he has held various roles as Co-Founder, CEO, Life Member, Programme Participant, Visiting Scientist, Postdoctoral Associate, Research Associate, Visiting Fellow, and Research Intern.
