|
|
||||||||
|
E-mail: Stephan.Merz "at" loria.fr Snail: Stephan Merz INRIA Nancy & LORIA Equipe MOSEL, Bâtiment B 615, rue du Jardin Botanique F-54602 Villers-lès-Nancy France
|
|
|
| ||||||||||||
| 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. Among my administrative duties, I am the delegate for international relations at LORIA and INRIA Nancy. Furthermore, I am serving as a member of INRIA's evaluation committee and 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. | ||||||||||||
|
