CV

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)

Main interests

  • Theoretical Computer Science
  • Formal Modeling Techniques
  • Formal methods
  • Applications: distributed algorithms,

Miscellanous