Certora provides unique technology for guaranteeing code correctness and security

Blockchain

Quality Assurance

Security

Certora

Certora's headquarters in Tel Aviv, Israel

Mooly Sagiv

Lucas Sakizloglou

Raz Lotan

Emanuele Civini

Pamina Georgiou

Otakar Trunda

Nisarg Patel

Jochen Hoenicke

Alexander Bakst

Antti Hyvärinen

Nurit Dor

This department focuses on conducting research and analysis related to security issues and developing strategies to address them.

Security Research

This department focuses on researching and developing methods for ensuring the correctness of systems through formal verification techniques.

Formal Verification

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

This department provides strategic direction and oversight for the organization's operations and governance.

Executive Leadership

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

This department focuses on the integration and development of frontend and software solutions.

Certora

Org chart

Teams

Security Research

Formal Verification

Engineering Team

Executive Leadership

Security Team

Development Integration

Offices

Certora

Org chart

Teams

Security Research

Formal Verification

Engineering Team

Executive Leadership

Security Team

Development Integration

Offices

Related companies