About me
Thomas Pani is an open source developer working on specification languages, developer tooling around executable specifications, and high-assurance distributed systems. He is a maintainer of Apalache, a symbolic model checker for TLA+, and an early contributor to Quint, a modern specification language for distributed systems. Thomas holds a PhD in formal methods from TU Wien and has worked as a research engineer in academia and industry.
