The Dowsers team

The team behind provable security.

Engineers, researchers and scientists combining expertise in formal verification, blockchain security and artificial intelligence to secure smart contracts at scale.

Team 15 Team Members

Experience 100+ Combined Years

Core expertise Formal Verification

Market Blockchain Security

01 / Leadership

Founders

Three friends, all passionate about onchain finance, start discussing its biggest challenge: security. Two are formal verification experts in automated metros; the third is a finance entrepreneur. The opportunity is so obvious that they decide to build Dowsers together.

Patrick Azzopardi

CEO & Co-founder

Leads strategy, business development and finance.

Entrepreneur, dealmaker and business angel with 30+ years’ experience.
MBA in banking, finance & monetary economics.

Hugo De Sa Pereira Pinto

CTO & Co-founder

Leads technology strategy, R&D and platform development.

15+ years in formal verification, 10 years in blockchain, former RATP lead engineer.
Master’s in aerospace engineering.

Grégoire Santini

COO & Co-founder

Leads product strategy and operational execution.

15+ years in Formal Verification, former RATP engineer and transformation expert.
Master’s in mathematics & formal methods.

02 / Expertise

Managers

Dowsers combines world-class scientists with top engineers in formal verification, AI, blockchain, and cybersecurity to build next-generation security technologies.

Souheib Baarir

Scientific Director, Formal Methods

Leads scientific research and formal verification R&D.

20+ years in formal verification research; creator of the award-winning Painless prover.
Associate professor in formal methods. PhD in formal methods.

Quentin Anes

Lead Formal Verification Engineer

Leads the design and development of our formal verification platform.

14+ years in formal verification, former RATP safety evaluator.
Master’s degree in mathematics, IT & electronics.

Axel Leloup

Blockchain Lead Security Researcher

Leads applied formal verification and smart contract security.

7+ years in cybersecurity; lead judge at Cyfrin CodeHawks; former Nokia cybersecurity engineer.
Master’s in computer engineering & cybersecurity.

03 / Guidance

Advisors

Experienced leaders helping Dowsers connect technological excellence with product vision and global impact.

Doug Levin

Strategic Board Advisor

Advises on strategy, cybersecurity and US expansion.

Founder & former CEO of Black Duck Software; early career at Apple and Microsoft.
Executive Fellow at Harvard Business School; Fellow at Stanford’s Rock Center for Corporate Governance.

Julien Bouteloup

DeFi Strategic Advisor

Advises on DeFi strategy, ecosystem and Web3 partnerships.

Founder & CEO of Stake Capital Group; launched StakeDAO, BlackPool Finance and Rekt News.
Investor in 200+ blockchain and DeFi projects.

Thibaut Bardout

Fractional Head of Product & Growth

Advises on product management, marketing and AI-driven growth.

Entrepreneur and product leader with 10+ years scaling SaaS businesses.
Deep experience in AI/ML, product strategy and go-to-market.

04 / Backing

Investors

Visionary early-stage VCs and business angels backed Dowsers in stealth mode, before formal verification became a market standard.

Auriga Cyber Ventures

European early-stage VC dedicated exclusively to cybersecurity and digital trust.

aurigacyberventures.com

DLAB

Discovery-stage VC backing founders building distributed systems, blockchain and decentralized infrastructure.

dlab.vc

Stake Capital

Early-stage investor backing exceptional engineers and scientists building in frontier blockchain and deep tech.

stake.capital

Business Angels

Successful entrepreneurs, senior executives and experienced investors backing Dowsers from the early days.

Defending onchain finance in the age of AI

PROVE YOUR CODE
BEFORE AI-POWERED HACKERS
BREAK IT.

Start with a standard token, a critical invariant or the protocol your organisation needs to trust.

The team behind provable security