Projects
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
Blog
Wish to talk?
» Send me a message at thomas /at/ thpani.net