Sign In

Grant Olney Passmore

Co-Founder and Co-CEO, Imandra

Grant Olney Passmore is a prominent figure in the field of automated reasoning and artificial intelligence, serving as the Co-Founder and Co-CEO of Imandra Inc., a company known for its innovative Imandra automated reasoning system. This platform aims to enhance the safety, explainability, and fairness of complex software systems, particularly as reliance on AI grows in various industries.1

Education

  • PhD in Automated Theorem Proving and Algorithmic Algebraic Geometry
    The University of Edinburgh (2007 - 2011)
    Thesis: "Combined Decision Procedures for Nonlinear Arithmetics, Real and Complex"
    Advisor: Paul B. Jackson
  • Bachelor of Arts in Mathematics
    The University of Texas at Austin (2001 - 2007)
    Honors Thesis: "Diophantine Sets and Their Decision Problems"
    Advisor: Bob Boyer

Professional Experience

  • Co-Founder and Co-CEO
    Imandra Inc. (April 2014 - Present)
    Locations: London, UK and Austin, TX, USA
  • Life Member
    Clare Hall, University of Cambridge (2012 - Present)
  • Postdoctoral Associate
    Clare Hall, University of Cambridge (2010 - 2012)
  • Research Associate
    The University of Edinburgh (2010 - 2014)

Research Contributions

Grant Passmore has been involved in various research initiatives focused on automated reasoning and formal verification. His work includes participation in significant programs at esteemed institutions like the Isaac Newton Institute for Mathematical Sciences and Microsoft Research. He has also contributed to the development of Imandra's reasoning mechanisms, which integrate advanced logic techniques for industrial applications.123

Personal Background

Born on October 18, 1983, Passmore has built a notable academic lineage and is recognized for his contributions to mathematical logic and automated reasoning. His work continues to influence the development of AI technologies aimed at improving algorithmic reliability.13

Related Questions

What inspired Grant Olney Passmore to co-found Imandra?
How does Imandra's Reasoning as a Service platform work?
What are some notable achievements of Grant Olney Passmore in the field of AI?
How has Grant Olney Passmore's work at Imandra impacted the AI industry?
What is the significance of Grant Olney Passmore's PhD thesis?
Grant Olney Passmore
Grant Olney Passmore, photo 1
Grant Olney Passmore, photo 2
Add to my network

Location

Austin, Texas, United States