Stéphane Demri

Directeur de recherche, CNRS
Professeur attaché, ENS Paris-Saclay

Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France

See my HAL page https://cv.hal.science/stephane-demri