Dr. Thomas Pani

Independent Formal Methods &
Blockchain Security Researcher

Ecosystem experience:

Ethereum
Cosmos

Cosmos

Stellar

Projects

Solarkraft: Runtime monitoring for Stellar / Soroban smart contracts

Model-Checking Accountability in Ethereum: accountable safety in single-slot finality

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