Certora provides unique technology for guaranteeing code correctness and security

Blockchain

Quality Assurance

Security

Certora

Certora's headquarters in Tel Aviv, Israel

Mooly Sagiv

Emanuele Civini

Raz Lotan

Lucas Sakizloglou

Jochen Hoenicke

Pamina Georgiou

Otakar Trunda

Nisarg Patel

Julian Dolby

Antti Hyvärinen

Chandrakana Nandi

Jorge A Navas

Alexander Bakst

Nurit Dor

The Security Team at Certora is responsible for ensuring the robustness and safety of code by utilizing advanced technology to guarantee code correctness and security. This team works on identifying vulnerabilities, auditing smart contracts, and developing tools and strategies to protect decentralized finance (DeFi) projects and other high-stakes applications from potential threats.

Security Team

The Engineering Team at Certora is responsible for developing, maintaining, and optimizing the company's code verification technologies and tools. They ensure code correctness and security through rigorous software engineering practices, advanced frontend development, and efficient DevOps processes to support seamless deployment and scalability.

Engineering Team

The Leadership Team at Certora spearheads the strategic direction, product development, and technological innovation to ensure the company delivers top-tier code correctness and security solutions. By leveraging their collective expertise, they drive growth, oversee key projects, and maintain Certora’s position as a leader in the industry.

Leadership Team

��

Certora

Org chart

Teams

Security Team

Engineering Team

Leadership Team

Offices

��������

Certora

Org chart

Teams

Security Team

Engineering Team

Leadership Team

Offices

Related companies

��