Stephan Merz
Senior Researcher at INRIA
Greater Metz Area France
Summary
🤩
Rockstar🎓
Top SchoolStephan Merz is a Senior Researcher at INRIA with over 20 years in research and roughly 10 years of professional software-focused experience, specializing in formal methods and rigorous specification. He has made substantial contributions to the tlaplus/Examples repository as a software architect and formal-methods engineer, authoring and modernizing TLA+ specifications and proofs for classic distributed algorithms (e.g., Lamport’s mutex, Chang–Roberts leader election, Dijkstra–Scholten termination). Based in the Greater Metz Area, he blends deep academic grounding from TU Munich with practical verification work that improves the reliability of distributed systems. His work is notable for bringing machine-checked proofs to well-known algorithmic examples, making subtle correctness arguments explicit and reusable. Colleagues rely on him to translate theoretical insights into clear, maintainable formal artifacts that aid both teaching and production-grade reasoning.
10 years of coding experience
TU Munich
Github Skills (5)
tlaplus10
tla10
formal-methods10
formal-verification10
model-checking10
Programming languages (10)
Github contributions (5)
tlaplus/Examples
May 2016 - Sep 2022
A collection of TLA⁺ specifications of varying complexities
Role in this project:
Software Architect & Formal Methods Engineer
Software Architect & Formal Methods EngineerContributions:32 reviews, 34 commits, 32 PRs in 6 years 5 months
Contributions summary:Stephan significantly contributed to the formal specification and proof of several algorithms within the TLA+ framework. They added specifications for EWD 840, Lamport's mutex, Chang-Roberts' leader election, Dijkstra-Scholten's termination detection, and the Echo algorithm, including associated proof modules. They also refactored and modernized existing specifications and proof modules.
model-checkingprotocolspecificationtlaspecifications
frida-2023/frida-2023.github.io
Aug 2023 - Oct 2023
Contributions:22 pushes in 1 month
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.