About
Grant Passmore is Co-Founder and Co-CEO of Imandra Inc., the company behind the Imandra automated reasoning system. Imandra offers a Reasoning as a Service platform aimed at verifying that software algorithms are safe, explainable, and fair.
Cofounder & Co-CEO at Imandra
Intro paths
→
In turn, Grant can intro founders to Imandra's investors below.
Imandra's investors · 7
.jpeg){kind=logo}
Co-founders at Imandra
DI
Denis IgnatovichCofounder & Co-CEO
Experience
- ImandraCo-Founder and Co-CEOcurrent2014 — presentLondon, UK and Austin, TX, USA
- University of CambridgeLife Member (Clare Hall)current2012 — present
- University of CambridgePostdoctoral Associate (Clare Hall)2010 — 2012
- Isaac Newton Institute for Mathematical SciencesProgramme Participant (Big Proof)2017Greater Cambridge Area
- The University of EdinburghResearch Associate2010 — 2014
- Carnegie Mellon UniversityVisiting Scientist2012
- Isaac Newton Institute for Mathematical SciencesProgramme Participant (SAS: A Legacy of Alan Turing)2012Greater Cambridge Area
- Microsoft Research, RedmondVisiting Researcher2011
- Microsoft Research, RedmondResearch Intern2009
- SRI InternationalVisiting Fellow2008
Skills & more
Imandra50Algorithms84Computer Science61Formal Verification19Theorem Proving18Mathematical Logic16Artificial Intelligence28LaTeX21Scientific Computing14Mathematical Modeling17Algebraic Geometry10Machine Learning17
+5 more
TheoryRMathematicaParallel ComputingFormal SemanticsFrom Grant's professional profile.
Frequently asked questions
- Who is Grant Passmore?
- Grant Passmore is Co-Founder and Co-CEO of Imandra Inc., the company behind the Imandra automated reasoning system. Imandra offers a Reasoning as a Service platform aimed at verifying that software algorithms are safe, explainable, and fair.
- Where does Grant Passmore work?
- Grant Passmore is Cofounder & Co-CEO of Imandra.
- What companies did Grant Passmore found?
- Grant Passmore founded Imandra.
- Where did Grant Passmore go to school?
- Grant Passmore studied at The University of Edinburgh (Doctor of Philosophy (PhD), Automated Theorem Proving and Algorithmic Algebraic Geometry); Mathematical Research Institute in The Netherlands (Master Class, Mathematical Logic); The University of Texas at Austin (Bachelor of Arts (BA), Mathematics).
Founder mafias
Carnegie Mellon University mafia330
Also came through, then founded or led a company.
Kai-Fu LeeResearch Computer Scientist / Assistant ProfessorFounded 01Lucy GuoComputer Science & Human-Computer InteractionsFounded Passes +1Guillaume LampleMaster's degreeFounded Mistral AIJoshua XuMaster's degreeFounded HeyGenAndrew NgBachelor of Science - BSFounded Factored +3William GuttmanDistinguished Service Professor of Economics & Special Advisor to ProvostFounded CurvePoint +3
+ 323 more
The University of Texas at Austin mafia189
Also came through, then founded or led a company.
Philip KrimMinorFounded Electron X +2Michael GortonPhysics & Engineering w minor in EnglishFounded Principal Solar +2Michael RoyzenBachelor of Science - BSFounded Smartlens +2Amar SawhneyM.S. and PhDFounded Access Closure +2Joah SpearmanBachelor of Science - BSFounded SXSW +2Arlo GilbertPolitical ScienceFounded Osano +1
+ 182 more
The University of Edinburgh mafia72
Also came through, then founded or led a company.
Martin SchrimpffMechanical Engineering with Management TechniquesFounded Kocomo +1Jeffrey ChangGraduate StudiesFounded Doblet +1Nicolas HourcardMsc Finance & InvestmentFounded QuestDB +1Jay LipmanBachelor's degreeFounded Resilience Investments +1Jess LynchFounded WishRouteJohn CampbellDoctor of Philosophy (PhD)Founded Resolution Therapeutics
+ 65 more
Same school
Also attended The University of Edinburgh304
Sofia DolfeInvestor at Index VenturesFreya Svedberg-KeatingInvestor at MedicxiKevin JohnsonInvestor at MedicxiPatrick NorrisGeneral Partner at Notion CapitalSarah MandersonLegal Director at Hoxton VenturesPolly BarnesInvestor at EQT Ventures
+ 298 more
Also attended The University of Texas at Austin566
Michael DellFounder & CEO of Dell TechnologiesViswa SankaranarayananVenture Partner at Monta Vista CapitalTodd KleinManaging Partner, Revolution Growth at RevolutionSapna MehtaInvestor at RevolutionAnish AggarwalInvestor at LightbankAndrew ScottSenior Finance Manager at Greycroft
+ 560 more
Shared employers
Also worked at Imandra2
Also worked at University of Cambridge213
Masha LevinVenture Partner at One Way VenturesChris WeyrerPrincipal at Vida VenturesAnnie DongInvestor at Dorm RoomFrancesco PomponiInvestor at Extantia CapitalJonathan RobinsonSenior Independent Director at EMV CapitalPhilip KalikmanAssistant Professor of Real Estate, Finance, & Economics at Joyance Partners
.webp)
+ 207 more
Also worked at Carnegie Mellon University199
Kai-Fu LeeChairman of Sinovation Ventures and CEO of 01.AIDiana HuGeneral Partner at Y CombinatorCindy PadnosFounder and Managing Partner at Illuminate VenturesMaryanna SaenkoCo-founder at Future VenturesSalvador GalaCo-founder & Managing Partner at Ev3 Ventures LlcAndrew BartusiakSenior Associate at PeakSpan Capital Partners
+ 193 more
Also worked at Microsoft Research, Redmond1,484
Reid HoffmanCo-founder of LinkedIn; Partner at GreylockGarry TanPresident & CEO of Y CombinatorNat FriedmanCo-lead of Meta Superintelligence Labs; co-founder of NFDGKai-Fu LeeChairman of Sinovation Ventures and CEO of 01.AIBill GatesCo-founder of Microsoft; Chair of the Gates FoundationMike KriegerCo-founder of Instagram; Chief Product Officer at Anthropic
+ 1,478 more