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
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.