Logo INRIA Logo LORIA


Stephan Merz

Stephan Merz





E-mail:
Stephan.Merz "at" loria.fr

Snail:
Stephan Merz
INRIA Nancy & LORIA
Equipe VeriDis, Bâtiment B
615, rue du Jardin Botanique
F-54602 Villers-lès-Nancy
France

Phone: +33 354 95 84 78
Fax: +33 383 41 30 79
Office: B 262
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.

I am the delegate for scientific affairs of the Inria Nancy research center, and also the delegate for the organization of colloquia. As such, I am an ex officio member of Inria's evaluation committee. Since 2008, I have been nominated by Inria as a member of the Scientific Directorate of Schloss Dagstuhl - Leibniz Center for Informatics. From 2012 to 2016, I was 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 Koblenz, Liège, Luxembourg, and Saarbrücken I am an organizer of the annual summer school VTSA (Verification Techniques, Systems, and Applications).

Before joining Inria, I worked at the University of Munich, Germany.


Research Areas


Logic in Computer Science

Formal Methods for System Development

Specification, Verification, Refinement

Temporal Logic and TLA


Links


  Publications

  Recent talks

  Research projects

  Teaching

  Student projects

  Events

  Comité colloques (for my colleagues in Nancy)

  Commission informatique IAEM (for my colleagues in Nancy)