Industry-leading formal verification tools & smart contract audits.
| Website | http://www.certora.com |
| Revenue | $13.7 million |
| Employees | 82 (74 on RocketReach) |
| Founded | 2018 |
| Phone | +972 3-640-7606 |
| Technologies |
JavaScript
,
HTML
,
PHP
+18 more
(view full list)
|
| Industry | Software Development, Blockchain, Quality Assurance, Security, Privacy and Security |
| Keywords | Formal Verification, Smart Contract Security, Blockchain Security, Security Audits, Blockchain Audit, Software Verification, Crypto Security, Web3 Security, Dapp Security, Code Analysis, Formal Methods, Decentralized Applications, Static Analysis, Software Assurance, Secure Coding, Cryptography, Software Testing, Cybersecurity |
| Competitors | Consensys Diligence, OpenZeppelin, Trail of Bits, ChainSafe Systems, Quantstamp, Inc., ChainSecurity, BlockSec, Solidified, Zokyo - Blockchain Security, MythX +30 more (view full list) |
Looking for a particular Certora employee's phone or email?
Certora Questions
The Certora annual revenue was $13.7 million in 2026.
Shelly Grossman is the Co-Founder and Chief Technology Officer of Certora.
74 people are employed at Certora.
Top Certora Employees
-
Mooly Sagiv
Chief Executive Officer at Certora
New York, NY, US41 -
2
-
Amit Sassi
VP of Finance at Certora
Tel Aviv District, Israel2 -
Ilya Leybovich
VP of Marketing at Certora
New York, United States22 -
Andrew Flesch
VP of Worldwide Sales - TradFi at Certora
United States13 -
Sofi Vissani
Head of Growth at Certora
Barcelona, CT, ES1 -
Armen Ter-Avetisyan
Technical Account Manager at Certora
New York, NY, US22 -
34
-
1
Related Companies
G2Crowd Trusted
300K+
Plugin Users
