R&D Director at Certora - Tel Aviv, N/A, il
CEO
Contact Mooly Sagiv
Software Engineer
Contact Thomas Bernardi
Security Researcher
Contact Lior Oppenheim
Contact Uri Kirstein
CSO
Contact Shelly Grossman
Vendedor Certora
Contact Pedro Martins
Program Verification Expert
Contact Alexander Nutz
Certora ensures correctness of Smart Contracts by applying modular formal verification.