Philip Offtermatt
Technical Lead at Hydro
Munich, Bavaria, Germany
Summary
🤩
Rockstar🎓
Top SchoolPhilip Offtermatt is a Technical Lead and research-oriented software engineer with six years of experience specializing in formal verification and the reliability of distributed systems, particularly within the Cosmos ecosystem. He applies a strong theoretical background—PhD-level work in verification and Petri-net modeling—to secure critical blockchain components like the Gaia Hub and Interchain Security while bridging theory and production through tools such as the Apalache symbolic model checker. Comfortable with large datasets and pragmatic engineering, he has a track record of shipping tooling and academic contributions, including a TLA+ conference presentation stemming from his Apalache work. Based in Munich, he combines hands-on leadership in product roles with deep expertise in formal methods, making him adept at turning complex correctness proofs into auditable, deployable software.
6 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Informatics, 1.3, Master of Science - MS, Informatics, 1.3 at Technical University MunichPh.D., Computer Science, Graduated with distinction, Ph.D., Computer Science, Graduated with distinction at Université de SherbrookeAl Akhawayn University
German, English, French
Github Skills (42)
cosmos-sdk10
tlaplus10
tla10
temporal10
tendermint10
verification10
cosmos10
model-checking10
cryptocurrency10
interchain10
go10
specification10
checker10
blockchain10
golang10
Programming languages (9)
Github contributions (5)
informalsystems/hydro
Sep 2024 - Apr 2025
Hydro (aka AtomWars) project repo
Contributions:2 releases, 120 reviews, 50 PRs in 6 months
p-offtermatt/FastForward
Oct 2021 - Feb 2023
Contributions:256 pushes, 2 branches in 1 year 4 months
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.