Dr. Thomas Pani

Independent Security &
Formal Methods Researcher

I work as part of an experienced network of blockchain professionals that has experience securing all stages of blockchain and smart contract development. We understand the full stack from consensus-layer protocols to smart contracts, have worked in multiple ecosystems, and bring experience in

  • developing and applying fuzz and model-based testing tools,
  • developing formal methods-based modeling and verification tools,
  • formal specification and model-checking of protocols and smart contracts, and
  • auditing anything from L1 chains to smart contracts.

Caught your interest? Reach out!


Solarkraft: runtime monitoring for Stellar / Soroban smart contracts

Wish to talk?

You can always send me a message at thomas /at/ thpani.net