Sotabase

Career

· Co-Founder and Co-CEO, Imandra Inc.2014–
· Life Member, Clare Hall, University of Cambridge2012–
· Postdoctoral Associate in Metamathematics of Real Algebraic Geometry, University of Cambridge2010–2014
· Research Assistant, University of Edinburgh2010–2014
· Master Class, Mathematical Research Institute in The Netherlands2007–
· PhD Student, The University of Edinburgh2007–2011
· BA in Mathematics, The University of Texas at Austin2001–2007
· AI Innovator, AI Innovator

Publications (35)

Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals
CADE · 2013
73
cited
The Strategy Challenge in SMT Solving
Automated Reasoning and Mathematics · 2013
65
cited
Combined Decision Techniques for the Existential Theory of the Reals
Calculemus/MKM · 2009
36
cited
The Imandra Automated Reasoning System (System Description)
International Joint Conference on Automated Reasoning · 2020
36
cited
Formal Verification of Financial Algorithms
CADE · 2017
29
cited
Combined decision procedures for nonlinear arithmetics, real and complex
2011
25
cited
Collaborative Verification-Driven Engineering of Hybrid Systems
Mathematics and Computer Science · 2014
17
cited
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
Journal of automated reasoning · 2015
17
cited
Real Algebraic Strategies for MetiTarski Proofs
AISC/MKM/Calculemus · 2012
17
cited
Proving SPARK Verification Conditions with SMT Solvers
2009
15
cited
Towards a Certified Proof Checker for Deep Neural Network Verification
International Workshop/Symposium on Logic-based Program Synthesis and Transformation · 2023
10
cited
A Certified Proof Checker for Deep Neural Network Verification
International Conference on Interactive Theorem Proving · 2024
9
cited
On locally minimal Nullstellensatz proofs
International Workshop on Satisfiability Modulo Theories · 2009
7
cited
Superfluous S-polynomials in Strategy-Independent Groebner Bases
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing · 2009
7
cited
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops
Decision Procedures in Software, Hardware and Bioware · 2010
6
cited
Impugning Randomness, Convincingly
Studia Logica: An International Journal for Symbolic Logic · 2011
6
cited
Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms
World Congress on Formal Methods · 2021
6
cited
CheckINN: Wide Range Neural Network Verification in Imandra
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming · 2022
5
cited
A note on real quantifier elimination by virtual term substitution of unbounded degree
2014
4
cited
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems
2013
4
cited
Sotabase
Grant Passmore | Researcher Profile | Sotabase | Sotabase