Professor of Computer Science

Professor of Computer Science

Head of the Specification and Verification of Systems team in the Laboratoire d’Algorithmique, Complexité et Logique

Vice-Dean, Faculté des Sciences et Technologie, Université Paris-Est Créteil

PhD, Université Joseph Fourier Grenoble, 2001

Habilitation, Université Paris-Est Créteil, 2011