https://www.imandra.ai/_next/static/chunks/pages/about-0c997bc8d1bbe76b.js

1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[4239],{23643:(e,a,i)=>{"use strict";i.r(a),i.d(a,{default:()=>S});var n=i(37876),t=i(78271),s=i(18853),r=i(42373),o=i(74361),l=i(68827),c=i.n(l),d=i(2832),m=i(14232);let h=[{name:"Denis Ignatovich",title:"Cofounder & Co-CEO",description:"Denis Ignatovich has over a decade of experience in trading, risk management, quantitative modeling, and complex trading system design. Prior to Imandra, he was head of the central risk trading desk at Deutsche Bank London. During his time at Deutsche Bank London, Denis realized the critical role AI can play in the financial sector and helped develop Imandra's suite of financial products. Denis' contributions to computational logic for financial trading platforms include several patents. He holds an MSc in Finance from the London School of Economics and degrees in CS and Finance from UT Austin.",imageUrl:"/images/team/denis.webp",linkedIn:"https://www.linkedin.com/in/denis-ignatovich-66aab313/"},{name:"Grant Passmore",title:"Cofounder & Co-CEO",description:"Dr. Grant Passmore is cofounder of Imandra where he leads the design and development of the Imandra automated reasoning system. He is a widely published researcher in formal verification and symbolic AI whose contributions include advances in SMT solving (Z3), nonlinear proof procedures (MetiTarski and Imandra), and computational logic (Imandra). Dr. Passmore earned his PhD at the University of Edinburgh on decision procedures for nonlinear arithmetic, and is a Life Member of Clare Hall, University of Cambridge. He is a pioneer of industrial applications of formal methods and automated reasoning, including the application of formal verification to financial markets, to the verification of deep neural networks, and to the neuro-symbolic integration of symbolic reasoning into generative AI systems.",imageUrl:"/images/team/grant.webp",linkedIn:"https://www.linkedin.com/in/grantolneypassmore/"},{name:"Zehra Akbar",title:"Chief Operating Officer",description:"Zehra Akbar is a business strategy and operations executive with over 13 years of experience and a proven track record of leading commercial operations at venture-backed startups. Zehra joins Imandra from SkyGrid, a joint venture she helped establish between The Boeing Company and SparkCognition. At SkyGrid, she served as the Chief Strategy Officer, leading multiple divisions including strategy, business development, legal and marketing. Prior to SkyGrid, Zehra was the VP of Strategic Operations at SparkCognition and has held positions at Deloitte and Accenture. Zehra has a Masters in Global Policy from The University of Texas at Austin.",imageUrl:"/images/team/zehra.webp",linkedIn:"https://www.linkedin.com/in/zehra-akbar/"},{name:"Paul Brennan",title:"Chief Strategy Officer",description:"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. Outside of the professional environment time is often spent fitness training, taking part in outdoor pursuits and enjoying family life.",imageUrl:"/images/team/paul.webp",linkedIn:"https://www.linkedin.com/in/pbrennan82/"},{name:"Samer Abdallah",title:"Research and Engineering",description:"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.",imageUrl:"/images/team/samer.webp",linkedIn:"0"},{name:"Remi Desmartin",title:"Research Fellow",description:"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.",imageUrl:"/images/team/remi.webp",linkedIn:"https://www.linkedin.com/in/remidesmartin/"},{name:"Bence Graics",title:"Research and Engineering",description:"Bence is a software engineer with a strong research background in model-based systems engineering (MBSE) and formal methods. He received his PhD from Budapest University of Technology and Economics and has held a research fellow position there ever since. He is the main developer of the open-source Gamma Statechart Composition Framework, a modeling and analysis framework for the component-based design and verification of reactive systems. At Imandra, Bence focuses on the new generation systems modeling language, SysML v2, and investigates the practical applicability of formal methods (in particular, Imandra's automated reasoning capabilities) in such a context. In his free time, he is often found at ice rinks playing hockey.",imageUrl:"/images/team/bence.webp",linkedIn:"0"},{name:"Andrey Ignatovich",title:"Senior Research and Engineering",description:"Andrey Ignatovich has over 30 years of professional IT experience, working as a Senior Softw

1are Developer in enterprise software development. Before joining Imandra, he worked as a developer at ADP/CDK, contributing to large-scale, production-grade systems. In addition to his strong background in OOP, Andrey has a keen interest in functional programming. He holds a BSc in Computer Science and an MSc in Astronomy from Saint Petersburg State University, Russia. Outside of work, he enjoys spending his free time riding his Harley.",imageUrl:"/images/team/samer.webp",linkedIn:"0"},{name:"Elijah Kagan",title:"Head of Design",description:"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.",imageUrl:"/images/team/elijah.webp",linkedIn:"https://www.linkedin.com/in/elijah-kagan-a6839076/"},{name:"Kostya Kanishev",title:"AI Research and Engineering",description:"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.",imageUrl:"/images/team/kostya.webp",linkedIn:"https://www.linkedin.com/in/kkanishev/"},{name:"Hongyu Lin",title:"Research and Engineering",description:"Hongyu is a machine learning engineer with a keen interest in leveraging deep learning to unravel complex patterns in financial time series. Skilled in Python for data analysis, he is dedicated to transforming financial data into actionable insights. Hongyu earned his bachelor's degree with a focus on financial mathematics from Central University of Finance and Economics and completed a MSc in the same field at the University of Leeds.",imageUrl:"/images/team/hongyu.webp",linkedIn:"0"},{name:"Eric Meinhardt",title:"Research and Engineering",description:"Eric is a software engineer enthusiastic about typed functional programming, domain specific languages, automata theory, and practical tools for reasoning about state machines. He has a PhD in Linguistics.",imageUrl:"/images/team/eric.webp",linkedIn:"0"},{name:"Sebastian P",title:"Principal Engineer",description:"Sebastian is a software engineer with professional cloud development experience and an interest in typed, functional languages. He studied Computer Science and Math at Texas State University, with emphases on parallel programming, automata, and formal proofs. Sebastian takes a Lyceal approach to life and is fond of the American Southwest.",imageUrl:"/images/team/sebastian.webp",linkedIn:"0"},{name:"Stephanie Radics",title:"Operations",description:"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.",imageUrl:"/images/team/stephanie.webp",linkedIn:"https://www.linkedin.com/in/stephanieradics/"},{name:"Brian Schwieger",title:"Strategic Advisor",description:"Brian Schwieger is an established Chair, NED and Advisor focused on the FinTech and Financial Services sectors, with 30 years executive experience across financial and commodity markets. Other firms he has recently worked with include WealthKernel, Globacap, Nukkleus and Redburn. Brian left LSEG in 2021, where he was responsible for the stock markets in London and Milan in his role as Global Head of Equity Trading. Prior to this, Brian held senior positions with the Bank of America Merrill Lynch and Morgan Stanley, being one of the early pioneers of electronic trading in Europe. Brian holds a BSc Econ from the London School of Economics and a Masters in Finance from London Business Sc

1hool.",imageUrl:"/images/team/brian.webp",linkedIn:"https://www.linkedin.com/in/brian-schwieger/"},{name:"Cruise Song",title:"Research Intern",description:"Cruise is a second-year Computer Science Ph.D. student at Georgia Institute of Technology. He holds a bachelor's degree in Mathematics and Computer Science from the University of Michigan. His research focuses on integrating automated reasoning with interactive theorem provers to advance the formalization of mathematics and enhance the reliability of critical software. As an avid user of the Lean theorem prover, Cruise is actively working on leveraging the powerful automation capabilities of Imandra within the Lean ecosystem.",imageUrl:"/images/team/cruise.webp",linkedIn:"0"},{name:"Makar Valentinov",title:"Research and Engineering",description:"Makar recently completed his Bachelor's in Physics at the University of Cambridge, where key interests included computation physics and neural networks. He's drawn to augmenting financial technology and markets with elegant, efficient software. Outside of work, he enjoys exploring different cultures through their food and art.",imageUrl:"/images/team/makar.webp",linkedIn:"0"},{name:"Christoph Wintersteiger",title:"Senior Computer Scientist",description:"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.",imageUrl:"/images/team/christoph.webp",linkedIn:"https://www.linkedin.com/in/christoph-m-wintersteiger-4439b05/"},{name:"This could be you",title:"Research and Engineering",description:"Passion and talent.",imageUrl:"/images/team/dummy.webp",linkedIn:"0"}];var g=i(48230),p=i.n(g);let f=e=>(0,n.jsx)("svg",{fill:"currentColor",viewBox:"0 0 24 24",...e,children:(0,n.jsx)("path",{fillRule:"evenodd",d:"M5.95898 23.1573H1.42383V8.5528H5.95898V23.1573ZM3.68896 6.56061C2.23877 6.56061 1.0625 5.35944 1.0625 3.90924C1.0625 3.21266 1.33922 2.54461 1.83177 2.05205C2.32433 1.55949 2.99238 1.28278 3.68896 1.28278C4.38555 1.28278 5.0536 1.55949 5.54616 2.05205C6.03871 2.54461 6.31543 3.21266 6.31543 3.90924C6.31543 5.35944 5.13867 6.56061 3.68896 6.56061ZM22.9326 23.1573H18.4072V16.0479C18.4072 14.3536 18.373 12.1807 16.0493 12.1807C13.6914 12.1807 13.3301 14.0215 13.3301 15.9258V23.1573H8.79981V8.5528H13.1494V10.545H13.2129C13.8184 9.39752 15.2974 8.18658 17.5039 8.18658C22.0938 8.18658 22.9375 11.209 22.9375 15.1348V23.1573H22.9326Z",clipRule:"evenodd"})});var u=i(88505);function x(e){let{index:a,person:i}=e,[t,s]=(0,m.useState)(!1);return(0,n.jsx)(c(),{className:(0,d.r)(t?"opacity-100":"opacity-0","mx-auto h-96 w-full flex-shrink-0 overflow-hidden object-cover transition-opacity duration-500"),src:i.imageUrl,alt:i.name,placeholder:"empty",width:1024,height:913,quality:100,onLoad:()=>s(!0),priority:!1})}function b(){return(0,n.jsxs)(u.wn,{classes:"relative mx-auto mt-10 md:mt-[7vh]",children:[(0,n.jsx)("div",{className:"absolute inset-0 flex flex-col","aria-hidden":"true",children:(0,n.jsx)("div",{className:"h-x3 w-full translate-y-96 transform-gpu bg-zinc-200"})}),(0,n.jsxs)(u.mc,{max:"9xl",children:[(0,n.jsx)(u.Cc,{classes:"text-blue-700 ml-6 mb-3",children:"The Team"}),(0,n.jsxs)("ul",{role:"list",className:(0,d.r)("relative grid","grid-cols-1 gap-3 sm:grid-cols-2 lg:grid-cols-3 xl:grid-cols-4 2xl:grid-cols-4","mb-10 md:mb-20 lg:mb-56"),children:[(0,n.jsx)("div",{className:"absolute -left-32 -top-16 h-80 w-80 bg-radial from-blue-100 via-trans

1parent"}),h.map((e,a)=>(0,n.jsxs)("li",{className:"relative col-span-1 flex flex-col overflow-hidden rounded-lg border border-white bg-white text-left shadow",children:[(0,n.jsx)(x,{index:a,person:e}),(0,n.jsxs)("div",{className:"flex flex-1 flex-col px-8 pb-8 pt-6",children:[(0,n.jsx)("h3",{className:"text-xl font-semibold text-blue-700",children:e.name}),(0,n.jsxs)("dl",{className:"flex flex-grow flex-col justify-start",children:[(0,n.jsx)("dt",{className:"sr-only",children:"Title"}),(0,n.jsx)("dd",{className:"mb-2 text-sm font-semibold text-blue-950/80",children:e.title}),(0,n.jsx)("dt",{className:"sr-only",children:"BIO"}),(0,n.jsx)("dd",{className:"font-inter text-xs font-medium text-blue-950/70 ",children:e.description})]})]}),(0,n.jsx)("div",{className:"flex h-full flex-1 items-end px-8 pb-8",children:"0"!==e.linkedIn&&(0,n.jsx)(p(),{href:e.linkedIn,className:"text-sm font-medium text-blue-500 hover:text-blue-800",children:(0,n.jsx)(f,{className:"h-6 w-6","aria-hidden":"true"})})})]},e.name))]})]})]})}function w(){return(0,n.jsx)(u.wn,{classes:"relative mx-auto mt-10 md:mt-[7vh] bg-white py-20",children:(0,n.jsxs)(u.mc,{max:"5xl",classes:"flex flex-col justify-center items-center text-center",children:[(0,n.jsx)(u.Cc,{children:"Careers"}),(0,n.jsx)(u.XC,{classes:"mt-6 text-5xl text-blue-600",children:"Join Us"}),(0,n.jsx)(u.Uh,{classes:"text-blue-1000 mb-6",children:"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."}),(0,n.jsx)(u.Up,{href:"https://apply.workable.com/imandra/",title:"Check current openings",type:"blue",children:"Current openings"})]})})}function v(){return(0,n.jsx)(u.wn,{classes:"relative mx-auto mt-10 md:mt-[7vh]",children:(0,n.jsx)(u.mc,{max:"8xl",children:(0,n.jsxs)("div",{className:"relative z-20 text-left sm:col-span-8 sm:col-start-2 md:col-span-7 md:col-start-3",children:[(0,n.jsxs)(u.dW,{classes:"text-blue-600 text-[clamp(3rem,15.5vw,4.5rem)] md:text-8xl",children:["About",(0,n.jsx)("span",{className:"text-slate-200",children:" Us"})]}),(0,n.jsxs)(u.v9,{classes:"max-w-[66ch] text-slate-600 mb-4 mt-4 md:leading-6 lg:text-xl lg:leading-6",children:["We're an AI startup developing Imandra",(0,n.jsx)("sup",{children:"\xae"}),", the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms."]}),(0,n.jsx)("hr",{className:"mb-4 border-slate-200"}),(0,n.jsx)(u.v9,{classes:"max-w-[52ch] text-slate-600 mb-20 md:leading-6 lg:text-xl lg:leading-6",children:"Imandra strives to recruit, develop, and retain the most talented people worldwide, regardless of their background."})]})})})}var y=i(6319),k=i(29489);function j(){return(0,n.jsx)(u.wn,{classes:"my-20",children:(0,n.jsx)(u.mc,{children:(0,n.jsxs)("div",{className:"sm:px-10 md:grid md:grid-cols-12 md:gap-4 md:px-0 lg:gap-8 lg:px-20",children:[(0,n.jsxs)("div",{className:"relative col-span-4 col-start-1 self-start overflow-hidden rounded-xl bg-stone-50 fill-blue-500 text-left shadow-xl shadow-blue-400/20",children:[(0,n.jsx)("div",{className:"absolute flex h-12 w-full bg-blue-600",children:(0,n.jsxs)("svg",{className:"ml-5 self-center fill-white",width:"53",height:"14",viewBox:"0 0 53 14",fill:"none",children:[(0,n.jsx)("path",{d:"M6.61048 13.2425C10.0068 13.2425 12.76 10.5316 12.76 7.18756C12.76 3.84349 10.0068 1.13259 6.61048 1.13259C3.21418 1.13259 0.460938 3.84349 0.460938 7.18756C0.460938 10.5316 3.21418 13.2425 6.61048 13.2425Z"}),(0,n.jsx)("path",{d:"M46.1639 13.2266C49.5602 13.2266 52.3134 10.5157 52.3134 7.1716C52.3134 3.82754 49.5602 1.11664 46.1639 1.11664C42.7676 1.11664 40.0144 3.82754 40.0144 7.1716C40.0144 10.5157 42.7676 13.2266 46.1639 13.2266Z"}),(0,n.jsx)("path",{d:"M26.3869 0.907806C25.6418 0.928416 24.9345 1.23537 24.4163 1.76297C23.8982 2.29058 23.6104 2.99692 23.6145 3.73083V10.7041C23.6145 11.9703 24.8531 13.4374 26.3869 13.4374C27.9206 13.4374 29.1593 11.9703 29.1593 10.7041V3.63756C29.1593 2.70134 28.3505 0.907806 26.3869 0.907806Z"})]})}),(0,n.jsx)("h2",{className:"mb-3 ml-10 mt-20 block text-3xl font-bold tracking-tight text-indigo-1000 sm:text-2xl",children:"Contact"}),(0,n.jsx)("div",{className:"mb-10 xl:col-span-1",children:(0,n.jsxs)("p",{className:"ml-10 text-base text-i-gray-b",children:["Email:",(0,n.jsx)("a",{href:"mailto:[email protected]",title:"Email Us",className:"ml-1 text-i-blue-700 hover:text-teal-500",children:"[email protected]"}),(0,n.jsx)("span",{className:"mt-4 block font-semibold ",children:"Phone USA"}),"tel:",(0,n.jsx)("a",{href:"tel:+15126294038",title:"tel",className:"ml-2 text-blue-700 hover:text-teal-500",children:"+1 512 629 4038"}),(0,n.jsxs)("span",{className:"block",children:["fax:",(0,n.jsx)("a",{href:"tel:+19037326536",title:"fax",className:"ml-1 text-blue-700 hover:text-teal-500",children:"+1 903 732 6536"})]})]})})]}),(0,n.jsxs)("div",{className:"relative col-span-8 col-start-5 grid translate-y-14 grid-cols-12 gap-x-0.5 overflow-hidden rounded-2xl border-t-[48px] border-slate-200 bg-stone-50 pb-12 pt-10 text-left shadow-xl shadow-blue-400/20 md:grid-cols-8 md:gap-x-2 md:pt-8",children:[(0,n.jsx)("div",{className:"col-span-10 col-start-2 md:col-span-2 md:col-start-2",children:(0,n.jsx)("h2",{className:"block text-3xl font-bold tracking-tight text-indigo-1000 sm:text-2xl xl:text-2xl",children:"Offices"})}),(0,n.jsx)("div",{className:"col-span-10 col-start-2 sm:col-span-4 sm:col-start-2 md:col-span-2 md:col-start-2",children:(0,n.jsxs)("p",{className:"font-semibold text-blue-900",children:["Austin (HQ)",(0,n.jsxs)("span",{className:"block text-sm font-normal text-i-gray-b sm:text-base",children:["515 Congress Ave.",(0,n.jsx)("br",{})," Suite 1025, Austin,",(0,n.jsx)("br",{})," TX 78701",(0,n.jsx)("br",{}),"USA"]})]})}),(0,n.jsx)("div",{className:"col-span-10 col-start-2 sm:col-span-3 md:col-span-2 md:col-start-4  ",children:(0,n.jsxs)("p",{className:"mt-4 font-semibold text-blue-900 md:mt-0",children:["London",(0,n.jsxs)("span",{className:"block text-sm font-normal text-i-gray-b sm:text-base",children:["Pavilion 27 Bush Lane ",(0,n.jsx)("br",{})," Office 1004 ",(0,n.jsx)("br",{})," London, EC3R 0AA ",(0,n.jsx)("br",{}),"UK"]})]})})]})]})})})}let C="We're an AI startup developing Imandra\xae, the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms.";function S(){let[e,a]=(0,m.useState)(!1);return(0,n.jsxs)(n.Fragment,{children:[(0,n.jsx)(t.A,{PageTitle:"About Imandra | Imandra Inc.",OGTitle:"About | Imandra Inc.",OGSiteURL:"https://www.imandra.ai/about",Description:C,OGDescription:C}

1),(0,n.jsx)(o.A,{}),(0,n.jsxs)(u.Je,{children:[(0,n.jsx)("div",{className:"fixed inset-y-0 h-screen w-screen bg-slate-50","aria-hidden":"true"}),(0,n.jsx)(y.A,{className:"fixed w-8/12 translate-x-3/4 translate-y-5 text-white"})]}),(0,n.jsx)(s.A,{type:"limited",variant:"light",ctaButton:!0,headerChange:e,headerBgClass:"from-slate-50/80 via-slate-50/80 to-slate-50/50 bg-gradient-to-b",SetHeaderChange:a}),(0,n.jsx)(v,{}),(0,n.jsxs)("main",{className:"relative overflow-hidden",children:[(0,n.jsx)(b,{}),(0,n.jsx)(w,{}),(0,n.jsx)(j,{}),(0,n.jsx)(k.A,{classNames:"py-20",showTitle:!0,titleColor:"text-blue-600",iconColor:"fill-blue-900"})]}),(0,n.jsx)(u.n$,{bgClasses:"bg-radial from-[#212331] to-[#1A1623]",textClasses:"text-white text-2xl",copy:"Get in touch",href:"/contact",buttonType:"blue",buttonCopy:"Contact us"}),(0,n.jsx)(r.A,{})]})}},43608:(e,a,i)=>{(window.__NEXT_P=window.__NEXT_P||[]).push(["/about",function(){return i(23643)}])},97597:(e,a,i)=>{"use strict";i.d(a,{A:()=>t});var n=i(14232);let t=n.forwardRef(function(e,a){let{title:i,titleId:t,...s}=e;return n.createElement("svg",Object.assign({xmlns:"http://www.w3.org/2000/svg",viewBox:"0 0 20 20",fill:"currentColor","aria-hidden":"true","data-slot":"icon",ref:a,"aria-labelledby":t},s),i?n.createElement("title",{id:t},i):null,n.createElement("path",{fillRule:"evenodd",d:"M3 10a.75.75 0 0 1 .75-.75h10.638L10.23 5.29a.75.75 0 1 1 1.04-1.08l5.5 5.25a.75.75 0 0 1 0 1.08l-5.5 5.25a.75.75 0 1 1-1.04-1.08l4.158-3.96H3.75A.75.75 0 0 1 3 10Z",clipRule:"evenodd"}))})}},e=>{e.O(0,[6701,1281,4550,8827,8383,6319,4134,2373,9489,636,6593,8792],()=>e(e.s=43608)),_N_E=e.O()}]);