Dr. Thomas Pani
Freelance Formal Methods Researcher
Improving confidence in blockchain protocols and smart contracts through Formal Methods.
Ecosystem experience:
Cosmos
Projects
Solarkraft: Runtime monitoring for Stellar / Soroban smart contracts
Model-Checking Accountability in Ethereum: accountable safety in 3SF
Apalache: symbolic model-checker for TLA+ and Quint
Quint: modern syntax for TLA+ with powerful tooling
Security Audits: Smart contract audits on Code4rena and Sherlock
Work with me!
As a freelance applied researcher, I’m happy to consult or work on your project.
ยป Simply send me a message at thomas
/at/ thpani.net