Thomasย Pani
Founder, Protocol And Software Correctness R&D at blltprf.xyz
Vienna, Austria
Summary
๐ค
Senior๐
Top SchoolThomas Pani is a founder and researcher with 18 years of experience specializing in protocol and software correctness, bringing formal methods, fuzzing, and runtime verification to secure critical systems. Based in Vienna, he has led work that spans academic breakthroughsโstatic analysis and push-button verifiers for concurrent programsโto applied blockchain verification, including TLA+ proofs for Ethereum consensus and runtime monitors for Stellar/Soroban. He combines deep research (PhD-level static analysis and model checking) with pragmatic engineering: building Apalache Cloud for 10x verification speedups and delivering competitive smart contract audits on major platforms. Known for finding failure modes tests miss, he tailors cost-effective verification pipelines and toolchains that integrate formal proofs, testing, and scalable execution.
18 years of coding experience
5 years of employment as a software developer
Vienna University of Technology
Stackoverflow
413reputation
16kreached
6answers
4questions
Github Skills (157)
highlight10
ruby10
cryptocurrency10
specification10
highlighting10
linux10
formal-verification10
gleam10
golang10
smt10
logic10
tlaplus10
formal-methods10
verification10
consistency10
Programming languages (20)
Github contributions (5)
thpani/dotfiles
May 2018 - Apr 2024
Contributions:16 pushes, 1 branch in 5 years 11 months
thpani/kripkebuilder
Mar 2016 - Jun 2022
Contributions:51 commits, 1 PR, 47 pushes in 6 years 3 months
temporal-logicformulaejavascripttemporalfrontend
Find and Hire Top DevelopersWeโve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.