About AI

Aesthetic Integration is 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.

Team member photo

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 PhD from the University of Edinburgh and is a Life Member of Clare Hall, University of Cambridge.

Team member photo

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.

Team member photo

Matt Bray

Research & Engineering

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.

Team member photo

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.

Team member photo

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 University of Wroclaw.

Team member photo

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.

Team member photo

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.

Team member photo

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.

Team member photo

Magda Wojcik

Operations

Magda is AI’s ops manager. She helps ensure the team’s happiness and the smooth running of company ops and finances. Magda previously worked in London’s buzzing start-up environment specialising in the office management, administration and research. She has a vivid interest in classical Chinese poetry, in line with MA in Sinology that she obtained from School of Oriental and African Studies (SOAS), London.

Team member photo

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