Sign In
Get Clay Free →

Suggestions

    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

    Highlights

    Apr 21 · arxiv.org
    The Imandra Automated Reasoning System (system description) - arXiv
    Jul 16 · cl.cam.ac.uk
    Grant Olney Passmore :: Bio

    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