Dr. Thomas Pani
Independent Formal Methods &
Blockchain Security Researcher
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: Solidity 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