Meet our team of security experts

We bring extensive experience from across the software and blockchain security space, 20% of our employees hold PhDs in formal verification methods.

Leadership Team

  • Mooly Sagiv

    CEO

    Mooly Sagiv is a leading researcher in formal verification. He co-founded Certora to scale formal verification to secure smart contracts. Mooly is a recipient of numerous prestigious academic awards, including the Friedrich Wilhelm Bessel Research Award, ACM fellow, and the Microsoft Research Outstanding Collaborator, member of European Academy of Science.

  • Shelly Grossman

    CTO

    Shelly has an extensive background in formal verification. She is also an experienced software engineer who spent 5 years at Check Point. Shelly is the lead author of the isolation technique for ensuring the correctness of modular reasoning.

  • Nurit Dor

    Chief Product Officer

    Nurit holds a PhD from Tel Aviv University in Static Code Analysis. She is the author of 13 academic papers and 35 patents. She was a CSO at Panaya, a static-analysis company acquired by Infosys and a research manager at KayHut. Nurit has extensive experience in static and dynamic analysis of low-level bytecode, and hands-on experience in transferring ideas from research to robust products.

  • John Toman

    Chief Scientist

    John Toman received his PhD in 2019 from the University of Washington. His research focuses on bringing the power of automated verification to real-world, industrial settings. John’s award-winning, impact-focused research has been published at several top conferences in the field.

  • Amit Levy

    VP Code Security

    Amit is a cyber security expert with a decade of experience in vulnerability research and exploitation and currently leads the security research team at Certora. Amit who holds a B.Sc. in Computer Science, has founded and directed award-winning security research groups.

  • Jaroslav Bendík

    VP R&D

    Jaroslav received his Ph.D. in the areas of formal verification and constraint processing. He is the main developer of several state-of-the-art tools for analyzing infeasible Boolean and SMT constraint systems (e.g., UNIMUS or ReMUS), and his work was published at a dozen major conferences in the field. Before joining Certora, Jaroslav worked as a researcher at the National University of Singapore and at the Max Planck Institute for Software Systems.

  • Idit Kronzon

    VP of People

    Idit has many years of experience in People leadership and OD roles in global leading hi-tech and financial firms including Freescale and Arm. She has proven ability for adding value to the business through HR strategies that support the achievement of business objectives. Idit has a B.Sc. in Psychology and M.Sc. in Organizational Behavior, both from Tel-Aviv University.

  • Chandrakana Nandi

    R&D Director, USA

    Chandrakana received her PhD from the University of Washington. Her expertise is in compilers, term rewriting, and program synthesis. Her work has won an Adobe Fellowship and Distinguished Paper Awards at POPL and OOPSLA.

  • Shachar Carmel

    Chief Cloud Architect

    Shachar is a professional Cloud Architect and is leading Certora Cloud and UI team. He has many years of experience in leading architecture teams both in professional services firms and corporate, helping businesses to build and design solutions on AWS. Shachar holds B.Sc. in Information Systems.

  • Johannes Späth

    Director Development Integrations

    Johannes is enthusiastic about security startups and believes that a strong product, backed by an enthusiastic and versatile team can have a massive impact. Originally, he studied mathematics but then found his passion in code analysis, because he is convinced that it can solve many of today’s challenges in security.

  • David Steinrueck

    Head of Marketing

    David has extensive experience as a marketing leader in the blockchain space. Most recently he held a senior marketing position at Chainlink, before which he led marketing for OpenZeppelin.

  • Sofi Vissani

    Head of Growth

    Sofi has been working in the industry for a few years now. She was part of Babylon.finance, a DeFi protocol, and before that, she worked at Open Zeppelin. She is all about exploring new things. In her free time, she has been learning data science and now solidity.

Team

  • Dravee

    Security Researcher

  • Hake

    security researcher

  • Avi Adlin

    UI/UX expert/ Senior Product Design

  • Sameer Arora

    SW Engineer

  • Gadi Auerbach

    Senior Security Engineer

  • Noa Babliki

    FE Developer

  • Alexander Bakst, PhD

    Senior SW Engineer

  • Yuval Ben Dor

    SW Engineer

  • Nili Ben Ezra

    Senior SW Engineer

  • Daniel Campbell

    UK GM

  • David Dolev

    SW & Devops

  • Eric Eilebrecht

    Senior SW Engineer

  • Gad Elbaz

    Security Engineer

  • Yoav Elmalem

    Automation & Python Team Leader

  • Anastasia Fedotov

    Software TL, Tech Lead

  • Andrew Ferraiuolo, PhD

    Formal Verification

  • Eyal Fishel

    Senior SW Engineer / Tech Lead

  • Tomer Ganor

    Security Researcher, Tech Lead

  • Alon Gat

    Security Researcher

  • Tomasz Gazior

    Security Researcher

  • Maya Glik

    Customer Success Project Manager

  • Naftali Goldstein

    SW TL

  • Hristo Grigorov

    Security Engineer

  • Natti Gur Arye

    FE Developer

  • Moran Hakkak

    Admin Manager

  • Eyal Hochstadt

    SW Engineer

  • Asaf Hochstadt

    Security Researcher student

  • Jochen Hoenicke, PhD

    Formal Verification Wizard

  • Martin Hruska, PhD

    Researcher

  • Antti Hyvarinen, PhD

    Researcher and Team Leader

  • Alex Joseph

    Security Engineer

  • Liav Katry

    Automation Engineer

  • Uri Kirstein

    Product Project Mananger

  • Gereon Kremer, PhD

    Researcher

  • Aleksander Kryukov

    Security Engineer

  • Ondrej Kurak

    Data Analysis & SW

  • Mordechai Landau

    SW Engineer

  • Daniel Lion

    Security Researcher

  • Oz Marom

    SW & Devops

  • Michael Morami

    Account Manager

  • Jorge Navas, PhD

    Security Researcher

  • Or Nuriel

    Assistant Controller

  • Alexander Nutz, PhD

    Formal Verification Expert/Architect and Team Leader

  • Eyal Ohayon

    Software Developer

  • Ofek Orlev

    senior security researcher

  • Shir Peleg

    Administrative Coordinator

  • Roy Perry

    Security Engineer

  • Or Pistiner

    Product Director

  • Yoav Rodeh, PhD

    Researcher

  • Netanel Rubin-Blaier, PhD

    Security Engineer & Product

  • Amit Sassi

    Director of Finance

  • Shoham Shamir, PhD

    Product/Security Engineer

  • Yura Sherman

    DeFi Expert

  • Eytan Singher, PhD

    Researcher

  • Jessica Stivelman-Bonwitt

    People (HR) Specialist

  • Sarit Tennenbaum

    SW Engineer

  • Armen Ter-Avetisyan

    Security Engineer

  • Otakar Trunda, PhD

    Formal Verification

  • Niv Vaknin

    Automation Engineer

  • Dominik Velan, PhD

    Applied Researcher

  • Rahav Yairi

    SW Engineer

Our Investors

  • Eli Ben-Sasson

    Co-Founder, President & Chairman of the Board at StarkWare

    Co-founder and president of StarkWare, a technology company that uses cryptographic proofs to solve blockchain's two biggest problems: scalability and privacy.

  • Elad Gil

    Entrepreneur

    Entrepreneur, operating executive, and investor or advisor to private companies such as Airbnb, Coinbase, Checkr, Gusto, Instacart, OpenDoor, Pinterest, Square, Stripe, Wish.

  • Stani Kulechov

    Founder & CEO at Aave

    Stani Kulechov is the founder and CEO of Aave, the leading decentralized peer-to-peer lending platform.

  • Balaji Srinivasan

    Entrepreneur & Investor

    Balaji S. Srinivasan is an American entrepreneur and investor. He was the co-founder of Counsyl, the former Chief Technology Officer of Coinbase, and former general partner at the venture capital firm Andreessen Horowitz.

  • Yona Hollander

    Cyber Security Entrepreneur

    Serial cyber security entrepreneur combining business acumen and strong technological background. Founded and led several cyber companies to successful exits, including Entercept (acq. McAfee).

  • Scott Shenker

    Professor of Computer Science, UC Berkeley

    American computer scientist, and professor of computer science at the University of California, Berkeley. He is also the leader of the Extensible Internet Group at the International Computer Science Institute in Berkeley, California.

  • Uri Kolodny

    Co-Founder & CEO at StarkWare Industries

    Uri is a co-founder and CEO at StarkWare and a member of its Board of Directors. He has a B.Sc. (Magna cum Laude) in Computer Science from the Hebrew University, and an MBA from MIT Sloan.

  • Moti Rafalin

    Entrepreneur

    Moti Rafalin co-founded vFunction and serves as its CEO. He brings over 20 years of experience in the enterprise software market to his role, with a focus on infrastructure, applications, and security.

Join our Team

Interested in challenging yourself with complex problems to make the DeFi space more secure? We're actively hiring top talent to help us build our products and develop novel technologies. View our active listings to see if you are a good fit.

View Careers
Certora Logo
logologo
Terms of UsePrivacy Policy