Grant Passmore Location
Austin, TX, US
Grant Passmore Work
- 2014 - now Co-Founder and Co-CEO @ Imandra
- 2012 - now Life Member (Clare Hall) @ University of Cambridge
- 2017 - 2017 Programme Participant (Big Proof) @ Isaac Newton Institute for Mathematical Sciences
- 2010 - 2014 Research Associate @ The University of Edinburgh
- 2012 - 2012 Visiting Scientist @ Carnegie Mellon University
- 2010 - 2012 Postdoctoral Associate (Clare Hall) @ University of Cambridge
- 2012 - 2012 Programme Participant (SAS: A Legacy of Alan Turing) @ Isaac Newton Institute for Mathematical Sciences
- 2011 - 2011 Visiting Researcher @ Microsoft
- 2009 - 2009 Research Intern @ Microsoft
- 2008 - 2008 Visiting Fellow @ SRI International
Grant Passmore Education
- The University of Edinburgh
Doctor of Philosophy (PhD) (Automated Theorem Proving and Algorithmic Algebraic Geometry)
2007 - 2011 - Mathematical Research Institute in The Netherlands
Master Class (Mathematical Logic)
2006 - 2007 - The University of Texas at Austin
Bachelor of Arts (BA) (Mathematics)
2001 - 2007
Grant Passmore Skills
- Imandra
- Algorithms
- Computer Science
- Formal Verification
- Theorem Proving
- Mathematical Logic
- Artificial Intelligence
- LaTeX
- Scientific Computing
- Mathematical Modeling
Grant Passmore Summary
Grant Passmore, based in Austin, TX, US, is currently a Co-Founder and Co-CEO at Imandra. Grant Passmore brings experience from previous roles at University of Cambridge, Isaac Newton Institute for Mathematical Sciences, The University of Edinburgh and Carnegie Mellon University. Grant Passmore holds a 2007 - 2011 Doctor of Philosophy (PhD) in Automated Theorem Proving and Algorithmic Algebraic Geometry @ The University of Edinburgh. With a robust skill set that includes Imandra, Algorithms, Computer Science, Formal Verification, Theorem Proving and more. Grant Passmore has 2 emails and 2 mobile phone numbers on RocketReach.
5 free lookup(s).
Looking for a different Grant Passmore?
Find contact details for 700 million professionals.
Others Named Grant Passmore
-
Grant Passmore
CEO at Libra I.T. Inc.
Mission Viejo, CA, US35+
Top Imandra Employees
-
11
-
Zehra Akbar
Chief Operating Officer at Imandra
Austin, TX, US24 -
21
-
Samer Abdallah
Functional Software Engineer at Imandra
England, United Kingdom1
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 5
free lookups.
Search the #1
Contact Database
Get contact details of over 700M profiles across 60M
companies – all with industry-leading accuracy. Sales and Recruiter users, try out our
Email Finder Extension.
Use our
AI-Powered
Email Finder
Find business and personal emails and mobile phone numbers
with exclusive coverage across niche job titles, industries, and more
for unparalleled targeting. Also
available via our
Contact Data API.
G2Crowd Trusted
300K+
Plugin Users
