Certora
Founded in 2018
Cybersecurity
Comprehend complex financial systems written in Solidity code. Mathematically formalize interesting properties of DeFi and deploy Certora’s tool for automatic exact formal verification, analyze outputs of the tool to identify high severity vulnerabilities. Write public reports describing the verifie...
🔥
👍
💩
Team members (9 of 33)
Saurabh Sharma
Member of Board of Directors
Sofi Vissani
Business Development Manager
Lori Blonn
Head of US Operations
Shelly Grossman
Co-Founder & Chief Technology Officer
Founder
David Steinrueck
Head of Marketing
James Wilcox
Chief of Technical Market Development
Avi Adlin
Senior Product Designer
Nurit Dor
VP of Products
A
Adar Weidman
VP Engineering