Stephan Merz

Stephan Merz

Stephan.Merz "at" loria.fr

Stephan Merz
Equipe VeriDis, Bâtiment B
615, rue du Jardin Botanique
F-54602 Villers-lès-Nancy

Phone: +33 354 95 84 78
Office: B 208
Bienvenue, welcome, herzlich willkommen!

I am a researcher at the Inria Nancy research center, a branch of Inria, the French national research institute for computer science, and a member of LORIA, the laboratory for computer science and its applications in Nancy. I have been the head of the VeriDis team of Inria Nancy and LORIA since January 2010.

My scientific interests lie in the area of formal verification, in particular of distributed algorithms and systems. With the members of our team, I am working on methods, techniques, and tools in this field, including theorem proving and model checking. The two main software tools to which our team contributes are the TLA+ Proof System and the veriT SMT solver.

From 2016 to 2021, I was the head of science (délégué scientifique) of the Inria Nancy research center. As such, I was an ex officio member of Inria's evaluation committee. From 2008 to 2017, I was nominated by Inria as a member of the Scientific Directorate of Schloss Dagstuhl - Leibniz Center for Informatics. From 2012 to 2016, I was co-head of the PhD committee for computer science of the graduate school IAEM. From 2005 to 2011, I was an elected member of INRIA's evaluation committee, and from 2008 to 2012, I was a member of Section 7 of the National Committee of Scientific Research (CoNRS). Together with colleagues in Liège, Luxembourg, and Saarbrücken I am an organizer of the annual summer school VTSA (Verification Techniques, Systems, and Applications).

Research Areas

Logic in Computer Science

Formal Methods for System Development

Specification, Verification, Refinement

Temporal Logic and TLA



  Recent talks

  Research projects


  Student projects


  Cycling around Nancy