About Us

The Team

• 

  Denis Ignatovich

  Title

  Cofounder & Co-CEO

  BIO

  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.
• 

  Grant Passmore

  Title

  Cofounder & Co-CEO

  BIO

  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.
• 

  Dave Aitken

  Title

  VP of Engineering

  BIO

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

  Matt Bray

  Title

  Chief Technology Officer

  BIO

  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.
• 

  Samer Abdallah

  Title

  Research and Engineering

  BIO

  Samer is a software engineer with a background in music informatics, Bayesian modelling, machine learning and information theory. He gained his PhD from King's College London and worked as a researcher at the Centre for Digital Music at Queen Mary, University of London. He has a long-standing interest in functional and logic programming, making several contributions to the SWI Prolog ecosystem, and likes to explore how these methods intersect both with music technology, for example, in reactive programming for interactive music systems, and with probabilistic models and machine learning, for example, in probabilistic programming languages.
• 

  Ben Bellick

  Title

  Research and Engineering

  BIO

  Ben is a functional software engineer who started his career working as a quantitative developer in the financial industry. With a background studying mathematics in undergrad, he has been driven by his passion for strongly-typed functional programming languages and their relation to mathematics. He's a contributor to the Haskell compiler. After leaving his last job, he spent nearly 6 months traveling the world. In the rest of his free time, he likes studying math and Japanese, and making music with Eurorack.
• 

  Paul Brennan

  Title

  Chief Strategy Officer

  BIO

  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.
• 

  Simon Cruanes

  Title

  Research and Engineering

  BIO

  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.
• 

  Remi Desmartin

  Title

  Research Fellow

  BIO

  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.
• 

  John Hester

  Title

  Research and Engineering

  BIO

  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.
• 

  Elijah Kagan

  Title

  Head of Design

  BIO

  Elijah is a designer with almost three decades of freelance and agency experience. He has worked for various businesses and institutions, including Honda, Volvo, Iron Mountain, Nokia Siemens Networks, LG, McCain, and Toptal. In addition to being also a creative developer and musician, he holds a Master's in Marketing and Computer Science from the Wroclaw University of Economics.
• 

  Kostya Kanishev

  Title

  AI Research and Engineering

  BIO

  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.
• 

  Yuxi Liu

  Title

  Research and Engineering

  BIO

  Yuxi Liu is an R&D engineer and a recent graduate (MSc in Computer Science) from the University of Tokyo. He is interested in programming languages, programming, and languages. Having tapped into both the statistical and symbolic aspects of AI, he wants to explore the new possibilities arising from the space in-between.
• 

  Ewen Maclean

  Title

  VP of Language Technology

  BIO

  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.
• 

  Nicola Mometto

  Title

  Principal R&D Engineer

  BIO

  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.
• 

  Andrey Pashnin

  Title

  Research and Engineering

  BIO

  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.
• 

  Stephanie Radics

  Title

  Operations

  BIO

  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.
• 

  Filippo Sestini

  Title

  Research and Engineering

  BIO

  Filippo is a Functional Software Engineer with a PhD in Computer Science from the University of Nottingham. During his PhD, he focused on dependent type theory and proof assistants. He also conducted research on linear logic, proof theory, and lambda calculus. Passionate about strongly typed functional programming and formal methods, he is interested in applying these tools to real-world industrial projects.
• 

  Jamie Smith

  Title

  Product Management

  BIO

  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.
• 

  Emma Tye

  Title

  Research and Engineering

  BIO

  Emma Tye is a software engineer with an interest in functional programming, type systems and mathematical logic. She graduated from Imperial College London a few years ago with an MEng in Joint Maths and Computer Science.
• 

  Christoph Wintersteiger

  Title

  Senior Computer Scientist

  BIO

  Christoph is a computer scientist with many years of experience in industrial as well as academic research. His main interests lie in and around the areas of software verification, decision procedures, and automated reasoning. He holds a PhD degree from ETH Zurich (CH) and a Master's from the University of Linz (AT). On his days off, he can often be found wrenching on classic cars.
• 

  Koundinya Vajjha

  Title

  Research and Engineering

  BIO

  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.
• 

  This could be you

  Title

  Research and Engineering

  BIO

  Passion and talent.