Grant Passmore is co-founder and co-CEO of Imandra. In his 10+ years of industry experience, Grant has been a key contributor to safety verification of algorithms at Cambridge, Carnegie Mellon, Edinburgh and SRI. He earned his PhD in AI for algorithm safety from the University of Edinburgh, is a graduate of UT Austin (BA in Mathematics) and the Mathematical Research Institute in the Netherlands (Master Class in Mathematical Logic), and is a Life Member of Clare Hall, University of Cambridge.
Automated reasoning engine to ensure algorithms are safe, explainable and fair
Learn more