Training
- Doctorat de troisième cycle en informatique 31 mai 1983 à l’INPL
- Doctorat ès Sciences Mathématiques 26 février 1993 à l’UHP
Professional achievement
- Assistant Professor at Université de Metz, France (1982-1988)
- Researcher at CNRS CRIN URA 262 (1988-1993)
- Full Professor at Université Henri Poincaré Nancy 1 and ESIAL (1993-2012)
- Full Professor at Université de Lorraine and Telecom Nancy (2012-now)
- Former Member of the Institut Universitaire de France (1995-2000) .
- Leader of the research group MOSEL in the UMR no 7503 LORIA laboratory.
Main interests
- Theoretical Computer Science
- Formal Modeling Techniques
- Formal methods
- Applications: distributed algorithms, cyber-physical systems,
