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 DeFi Security Labs
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
US R&D Director
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.
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.
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
0xa5df
Security Researcher
Avi Adlin
UI/UX expert/ Senior Product Design
Gadi Auerbach
Senior Security Engineer
Alexander Bakst, PhD
Senior Researcher
Yuval Ben Dor
SW Engineer
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
Tomer Ganor
Security Researcher, Tech Lead
Alon Gat
Security Researcher
Tomasz Gazior
Security Researcher
Pamina Georgiou, PhD
Formal Verification Wizard
Maya Glik
Customer Success Project Manager
Naftali Goldstein
SW TL
Christiane Goltz
Senior Compiler Engineer
Hristo Grigorov
Security Engineer
Natti Gur Arye
FE Developer
Itay Hadad
Security Researcher student
Moran Hakkak
Admin Manager
Asaf Hochstadt
Security Researcher student
Jochen Hoenicke, PhD
Formal Verification Wizard
Martin Hruska, PhD
Researcher
Antti Hyvarinen, PhD
Researcher and Team Leader
Dan Jaheny
Account Manager
Alex Joseph
Security Engineer/Researcher
Liav Katry
Automation Engineer
Uri Kirstein
Product Project Mananger
Gereon Kremer, PhD
Researcher
Aleksander Kryukov
Security Engineer
Ondrej Kurak
Data Analysis & SW
Oz Marom
SW & Devops
Michael Morami
Account Manager
Jorge Navas, PhD
Senior Researcher
Ariel Nir
Finance Student
Or Nuriel
Controller
Alexander Nutz, PhD
Formal Verification Expert/Architect and Team Leader
Eyal Ohayon
FE Developer
Ofek Orlev
security researcher
Francesco Parolini, PhD
Senior Compiler Engineer
Nisarg Patel, PhD
Formal Verification Wizard
Roy Perry
Security Engineer
Yoav Rodeh, PhD
Senior Researcher
Netanel Rubin-Blaier, PhD
Security Engineer & Product
Amit Sassi
Director of Finance
Fiorella Scantamburlo
Marketing & Sales Specialist
Shoham Shamir, PhD
Formal Verification Wizard
Yura Sherman
DeFi Expert
Derek Sorensen
Sales Rep
Jessica Stivelman-Bonwitt
People (HR) Specialist
Armen Ter-Avetisyan
Security Engineer
Otakar Trunda, PhD
Formal Verification
Niv Vaknin
Automation Engineer
Alexander Van Der Lelie
Security Researcher
Dominik Velan, PhD
Applied Researcher
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.
