About Us
7+ years
Securing smart contracts with formal verification
15+ years
In the cybersecurity field
Ursus Tech Stack
Stack of technologies bridges formal verification and real-world software
TEAM
Sergey Egorov
CEO
Over 15 years of experience in cybersecurity and information technology. Leading Pruvendo's mission to bring formal verification to the wider software development community.
Andrey Lyashin
CTO
Deep expertise in formal methods, mathematical logic, and programming language theory. Architect of the Ursus technology stack for smart contract verification.
Pruvendo Whitepaper
We are a startup, applying formal methods to make smart contracts secure and trustworthy
