Grant Passmore's Location
Austin, TX, US
Grant Passmore's Work
Grant Passmore's 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's Skills
Grant Passmore's Summary
Grant Passmore, based in Austin, TX, US, is currently a Co-Founder and Co-CEO at Imandra, bringing experience from previous roles at University of Cambridge, Isaac Newton Institute for Mathematical Sciences and The University of Edinburgh. 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 contributes valuable insights to the industry. Grant Passmore has 4 emails and 1 mobile phone number on RocketReach.