Faculty Members

[1] Jasmin Christian Blanchette. Professor, associate member. University of Amsterdam, now LMU Munich, Office Bureau.
[2] Horatiu Cirstea. Professeur, head of formal methods department. Université de Lorraine at Faculty of Science and Technology, Bureau 204 email: horatiu.cirstea@loria.fr; Tel +33383592000; http://www.loria.fr/mery; Office Bureau 204.
[3] Marie Duflot-Kremer. Maître de conférences. Université de Lorraine at FST Nancy, Office Bureau 208.
[4] Didier Fass. Professeur. ICN, email: didier.fass@loria.fr; Tel +33383592000; http://www.loria.fr/mery; Office Bureau 260.
[5] Pascal Fontaine. Professor, associate member. Université de Liège, Office Bureau 208.
[6] Jean-Pierre Jacquot. Maitre de conférences. Université de Lorraine at Faculty of Science and Technology, Bureau 204 email: Jean-Pierre.Jacquot@loria.fr; Tel +33383592000; http://mosel.loria.fr; Office Bureau 212.
[7] Igor Konnov. Chargé de recherche in leave in industry (2019->). INRIA, 2018-2020 email: igor.konnov@inria.fr; Tel +33383592000; http://www.loria.fr; Office Bureau 210.
[8] Sergei Lengley. Maitre de conférences. Université de Lorraine at Faculty of Science and Technology, Bureau 204 email: sergei.lengley@loria.fr; Tel +33383592000; http://mosel.loria.fr; Office Bureau 212.
[9] Stephan Merz. Directeur de recherche, Head of veridis team. INRIA, email: stephan.merz@loria.fr; Tel +33383592000; http://www.loria.fr; Office Bureau 208.
[10] Pierre-Etienne Moreau. Professeur. Université de Lorraine at Ecole des Mines de Nancy, Bureau 204 email: pierre-etienne.moreau@loria.fr; Tel +33383592000; http://www.loria.fr/mery; Office Bureau 204.
[11] Dominique Méry. Professeur, Head of the MOSEL research team. Université de Lorraine, email: dominique.mery@loria.fr; Tel +33383592019; http://www.loria.fr/mery; Office Bureau 202. [ http ]
[12] Denis Roegel. Maître de conférences. Université de Lorraine at IUT Nancy Charlemagne, Office Burea 202.
[13] Jeanine Souquières. Professeur. Université de Lorraine at UFR MIAGE, email: jeanine.souieres@loria.fr; Tel +33383592000; http://www.loria.fr/mery; Office Bureau 212.
[14] Sorin Stratulat. Maître de conférences. Université de Lorraine at UFR MIM, Office Bureau 215.
[15] Thomas Sturm. Directeur de recherche. CNRS, Bureau 215 http://members.loria.fr/sturm.
[16] Sophie Tourret. Researcher, inria (and visiting researcher, max-planck-institut für informatik). INRIA, email:sophie.tourret@inria.fr and https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret.

This file was generated by bibtex2html 1.99.