About Us

Automated Formal Verification of Smart Contracts

Dowsers is a unique team of blockchain lovers, experts in formal verification, cybersecurity and artificial intelligence, with decades of experience on automated metro lines software, involving millions of daily users’ lives at stake.

Dowsers develops state-of-the-art technologies for the security and safety of smart contracts and blockchains at scale and solutions to prevent fatal vulnerabilities in code.

Brand

In ancient times, “Dowsers” were people able to find underground water. Today, Dowsers, a registered brand, is the first platform to detect safe smart contracts at scale in the risky ocean of the blockchain.

Foundation Idea

Immersed in the blockchain since 2014, we founded Dowsers with the vision that our advanced knowledge in formal verification of complex software would enable us to secure our own crypto and NFT investments thanks to a reliable and instant analysis of their smart contracts.

Mission

We are a team of top entrepreneurs, engineers, scientists, developers with a world-class expertise in formal verification of smart contracts.

We cumulate decades of expertise in high grade security of ultra complex critical industrial software, blockchain technologies, cyber security & artificial intelligence.

Values

Our core values guide our recruitment, management, and team development strategies, ensuring that we not only meet but exceed the expectations of our clients and stakeholders. We cumulate decades of expertise in high grade security of ultra complex critical industrial software, blockchain technologies, cyber security & artificial intelligence.

Team

Patrick Azzopardi
CEO – Co founder
“Web3 will someday be renamed WallStreet3”
Hugo De Sa Pereira Pinto
CTO – Co founder
“AI relies on probabilities and predictions, while formal methods are grounded in mathematical proof.”
Grégoire Santini
CPO – Co founder
“The real is the thing you bump into.”― Jacques Lacan
Souheib Baarir
Formal Verification Scientist
“Imagination is more important than knowledge. For knowledge is limited, whereas imagination embraces the entire world.” — Albert Einstein
Quentin Anes
Formal Verification Lead Dev
“In math we trust”
Doug Levin
Advisor to the board
“Either you're going at 100 mph or you’re sleeping.”
Thibaut Bardout
Product advisor
“Good management is the art of making problems so interesting and their solutions so constructive that everyone wants to get to work and deal with them.” – Paul Hawken