About Us

We're an AI startup developing Imandra®, the cloud-scale automated reasoning system bringing rigor and governance to the world’s most critical algorithms.

Denis Ignatovich

Cofounder and Co-CEO

Denis Ignatovich has over a decade of experience in trading, risk management, quantitative modeling, and complex trading system design. Prior to joining AI, he was head of the central risk trading desk at Deutsche Bank London. He holds an MSc in Finance from the London School of Economics and degrees in CS and Finance from UT Austin.

Denis Ignatovich

Grant Passmore

Cofounder and Co-CEO

Grant Passmore has more than ten years' industrial formal verification experience. He has been a key contributor to safety verification of algorithms at Cambridge, Carnegie Mellon, Edinburgh, Microsoft Research, and SRI. He earned his Ph.D. from the University of Edinburgh and is a Life Member of Clare Hall, University of Cambridge.

Grant Passmore

Dave Aitken

Research & Engineering

Dave is an R&D engineer with a Master of Physics degree (MPhys) from the University of Oxford. He has several years' experience with the full web stack, cloud infrastructure and operations.

Dave Aitken

Matt Bray

Chief Technology Officer

Matt is a full-stack R&D Engineer, with several years' experience in cloud infrastructure and systems design. He holds a Master of Physics degree (MPhys) from the University of Oxford, a PGCert in Intellectual Property Law, and qualified as a European Patent Attorney.

Matt Bray

Paul Brennan

Chief Strategy Officer

Paul Brennan has over 15 years' experience in product, strategy and management of complex businesses within Financial Markets. Prior to joining Imandra, Paul was the Chief Operating Officer of Goldman Sachs' regulated trading venue. He holds an MSc in Applied and Theoretical Fluid Dynamics and a BSc in Mathematics from the University of Manchester.

Paul Brennan

Simon Cruanes

Research & Engineering

Simon is an R&D engineer with an engineering degree from École polytechnique in France, a masters degree from EPFL, and a PhD in automatic theorem proving. He's worked on first-order and higher-order proving and model finding, with a focus on implementation, having written several tools in various domains of formal logic. He also is an active contributor to the OCaml community.

Simon Cruanes

Remi Desmartin

Research Fellow

Remi is a PhD student at Heriot-Watt University in Edinburgh, whose main research interest is the formal verification of neural networks. He previously completed an MSc in Data Science, where his dissertation focused on the application of Imandra to neural network verification. He is interested in various aspects of artificial intelligence, from the maths behind different types of AI systems to the ethical questions it poses and its exploration in works of science fiction.

Remi Desmartin

John Hester

Research & Engineering

John is an R&D engineer with a PhD in mathematics from the University of Florida. During his PhD, he focused on automated theorem proving and logic. He also conducted research into combing formal systems for automated reasoning in new ways and automated axiom generation. All of the projects required a large amount of implementation work. Outside of the automated reasoning and intelligence world, John is a classical guitar player and enjoys martial arts.

John Hester

Elijah Kagan

Design

Elijah is a designer with more than two decades’ agency experience. He has worked for businesses and institutions including Honda, Volvo, Iron Mountain, Nokia Siemens Networks, LG, and McCain. He holds an MCs degree in Marketing and Computer Science from the Wroclaw University of Economics.

Elijah Kagan

Kostya Kanishev

Research & Engineering

Konstantin is a particle physicist. He did research in theoretical particle physics, cosmology, and worked as experimental physicist at the Large Hadron Collider at CERN. He holds a PhD in Particle Physics and BcS in Computer Science and is always interested in making practical applications out of mathematical theories.

Kostya Kanishev

Ewen Maclean

Research & Engineering

Ewen is a mathematician turned computer scientist specialising in the automation of formal proof. He obtained his PhD from Edinburgh University and has subsequently worked as a lecturer and researcher in Brazil, Spain and Edinburgh, also contributing to industrial case studies in static analysis and program verification.

Ewen Maclean

Nicola Mometto

Research & Engineering

Nicola is a software developer with interests in functional programming, languages and compiler design. He's the creator and maintainer of several clojure contrib libraries and compilers and a frequent contributor to the Clojure compiler.

Nicola Mometto

Andrey Pashnin

Research & Engineering

Andrey is a self-taught software engineer with a master's degree in radio engineering who, for an unknown reason, cannot stop learning new languages, both programming (from C++ and VHDL to JavaScript and OCaml) and spoken (from French to Chinese). He worked at a Samsung Electronics Research Center and the Large Hadron Collider at CERN.

Andrey Pashnin

Stephanie Radics

Operations

As Imandra's Operations Manager, Stephanie oversees team logistics and finances, employee relations and general operations in order to cultivate productivity and help the company to achieve their goals. She joined Imandra after obtaining a wealth of operations experience in the hospitality and property management sectors. Stephanie earned a Bachelors of Science in Business Administration from Central Michigan University..

Stephanie Radics

Jamie Smith

Product Management

Jamie Smith has more than twenty-five years of embedded design and test & measurement experience in safety-critical industries. He spent most of his career at National Instruments (now NI). Jamie earned a Master of Science in Applied Physics from Stanford and a Bachelor's in Physics from UC Santa Barbara. He is a frequent speaker at Autonomous Vehicle and Industrial Internet of Things conferences.

Jamie Smith

Dan Squires

VP of Sales for Financial Markets

Dan Squires has more than 25 years experience in sales and business development within financial markets. Prior to joining Imandra, he was head of business development for MTF operator Liquidnet. Dan has also held MD positions at both Citi and BAML and been a partner of quant fund GSA Capital. Dan has a BA in Politics, Philiosophy and Economics

Dan Squires

Koundinya Vajjha

Research & Engineering

Kody is an R&D engineer with interests in optimal control, discrete geometry and formal verification. He has a PhD from the University of Pittsburgh, an M.Sc from the University of Western Ontario, Bachelors and Masters degrees from the Indian Statistical Institute, all in Mathematics. He also holds a Certificate in Quantitative Finance (CQF). He is broadly interested in seeing the adoption of formal methods across pure mathematics and industry.

Koundinya Vajjha

Do you want to change the way the world develops software? Do you dream of making fundamental contributions to science with immediate practical impact? We're always looking for extraordinary people to join our team.

Current openings
By using this website, you agree to our cookie policy

Please note that the Imandra website no longer supports Internet Explorer

We recommend upgrading to the latest Microsoft Edge, Google Chrome, or Firefox