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

Maya’s approach is hands-on, results-driven, and with a clear mission: to make customers happy. She’s passionate about customer satisfaction and driving retention, loyalty, and measurable impact. She holds a B.Sc. in Chemical Engineering from the Technion and began her career in the semiconductor industry. After earning her MBA from Recanati Business School, she moved into customer-facing roles—and never looked back.

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.

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.