Dr. Thomas Pani

Independent Security &
Formal Methods Researcher


Solarkraft: Runtime monitoring for Stellar / Soroban smart contracts

Security Audits: Solidity audits on Code4rena and Sherlock

Apalache: symbolic model-checker for TLA+ and Quint

Quint: modern syntax for TLA+ with powerful tooling


Wish to talk?

» Send me a message at thomas /at/ thpani.net