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
Room: 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. At INRIA Nancy I have been leading the VeriDis team since January 2010. I am also a member of the MOSEL team at LORIA, the laboratory for computer science and its applications in Nancy.

My scientific interests lie in the area of formal verification, in particular of distributed algorithms and systems. We are working on methods, techniques, and tools, including model checking and theorem proving. Check out the TLA+ Proof System, to which we actively contribute.

Among my administrative duties, I am the delegate for colloquia organized at INRIA Nancy and co-head of the PhD committee for computer science in Nancy. From 2005 to 2011, I was a 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). I am the INRIA representative at the Scientific Directorate of Schloss Dagstuhl - Leibniz Center for Informatics.

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


Research Areas


Logic in Computer Science

Formal Methods for System Development

Specification and Verification

Temporal Logic and TLA


Links


  Publications

  Recent talks

  Research projects

  Teaching

  Student projects

  Events

  Comité colloques (for my colleagues in Nancy)