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.

Follow us on Twitter

Leadership Team

  • Seth Hallem

    CEO

    Seth’s academic and professional experience is in software architecture, development, and security. Seth co-founded and leads Mobile Helix, driving its strategy to deliver productivity-enhancing solutions and foster a positive work environment. Previously, Seth co-founded and served as CEO of Coverity, Inc. from 2002 to 2010, growing it to over 150 employees and 1,000 customers before its $375M acquisition by Synopsys in 2014. He holds a Bachelor’s degree in Computer Science from Stanford and was recognized as an MIT TR35 innovator in 2008 for his contributions to software quality.

  • Mooly Sagiv, Prof

    Chief Scientist

    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.

  • Ilya Leybovich

    VP Marketing

    Ilya has led the marketing practice for a wide range of crypto companies, including BlockFi, Forte, and most recently DELV. He's a passionate advocate for blockchain technology and wants to spread the word about the safer, smarter future we're building together. He's also a published fiction writer, with several dozen stories in print

  • Maya Glik

    Director of Customer Success

  • Elad Erdheim

    VP Security Labs

  • Sofi Vissani

    VP Sales

    Sofi is the one to talk to. With more than a decade’s experience in finance and growth, she knows how to take your business to the next level. She’s held leadership roles at Babylon.finance and OpenZeppelin, and has helped countless companies cross the bridge into Web3. Earlier in her career, she worked at Ernst & Young and PricewaterhouseCoopers.

  • Shelly Grossman

    CTO, R&D & Product

    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.

  • Idit Kronzon

    VP People & Operation

    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.

Team

  • Dravee

    Security Researcher Team Leader

  • 0xa5df

    Security Researcher

  • Greed

    Security Researcher

  • Flint

    Security Researcher

  • Deth

    Security Researcher

  • 0xlemon

    Security Researcher

  • Norah

    Security Researcher

  • Beirao

    Security Researcher

  • Zanderbyte

    Security Researcher

  • Armormadeofwoe

    Security Researcher

  • Novaman

    Security Researcher

  • Avi Adlin

    UI/UX expert/ Senior Product Design

  • Alexander Bakst, PhD

    Senior Researcher

  • Eleonora Bellotto

    Sales Rep

  • Yuval Ben Dor

    SW Engineer

  • Jaroslav Bendík, PhD

    VP R&D

  • Lilian Cariou

    Security Researcher

  • Ofir Cohen

    Junior PMO

  • Nurit Dor, PhD

    Chief Quality Officer

  • Eric Eilebrecht

    Senior SW Engineer

  • Gad Elbaz

    Technical Program Manager

  • Yoav Elmalem

    Director Development Integrations

  • Anastasia Fedotov

    Software TL, Tech Lead

  • Andrew Ferraiuolo, PhD

    Formal Verification Researcher

  • Tomer Ganor

    Security Research Tech Leader

  • Pamina Georgiou, PhD

    Formal Verification Team Leader

  • Naftali Goldstein

    Senior SW Engineer

  • Christiane Goltz

    Senior Compiler Engineer

  • Hristo Grigorov

    Technical Program Manager

  • Arie Gurfinkel

    Senior FV Researcher

  • Itay Hadad

    Security Researcher student

  • Moran Hakkak

    Admin Manager

  • Jochen Hoenicke, PhD

    Formal Verification Researcher

  • Martin Hruska, PhD

    Senior Researcher

  • Antti Hyvarinen, PhD

    Researcher and Team Leader

  • Uri Kirstein

    Product Project Mananger

  • Gereon Kremer, PhD

    Researcher

  • Ondrej Kurak

    Cloud & Data Analysis TL

  • Omer Lerinman

    Director of Product and AI

  • Nissan Levi

    Formal Verification Researcher

  • Raz Lotan

    Formal Verification Researcher

  • Kevin Lotz

    Formal Verification Researcher

  • Martin Marchev

    Security Researcher

  • Oz Marom

    SW & Devops

  • Nikola Mirchev

    Security Researcher

  • Michael Morami

    Technical Program Manager

  • Chandrakana Nandi, PhD

    US R&D Director

  • Jorge Navas, PhD

    Senior Researcher

  • Ariel Nir

    Finance Student

  • Alexander Nutz, PhD

    Formal Verification Expert/Architect and Team Leader

  • Lior Oppenheim

    Security Researcher

  • Ofek Orlev

    Security Researcher Team Leader

  • Francesco Parolini, PhD

    Senior Compiler Engineer

  • Nisarg Patel, PhD

    Formal Verification Researcher

  • Tigran Piliposyan, PhD

    Security Researcher Team Leader

  • Ofek Raizman-Kedar

    Security Researcher

  • Yoav Rodeh, PhD

    Senior Researcher

  • Netanel Rubin-Blaier, PhD

    Security Researcher

  • Shane Runquist

    Formal Verification Advocate

  • Amit Sassi

    Director of Finance

  • Fiorella Scantamburlo

    Marketing & Sales Specialist

  • Shoham Shamir, PhD

    Formal Verification Researcher

  • Yura Sherman

    DeFi Expert

  • Johannes Späth, PhD

    R&D Director

  • Jessica Stivelman-Bonwitt

    People (HR) Specialist

  • Armen Ter-Avetisyan

    Technical Program Manager

  • John Toman, PhD

    Technical Fellow

  • Otakar Trunda, PhD

    Formal Verification Researcher

  • Bogomil Tsvetkov

    Security Researcher

  • Alexander Van Der Lelie

    Security Researcher

  • Dominik Velan, PhD

    Applied Researcher

  • Ayelet Yaari

    HR intern

  • Rahav Yairi

    Senior 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