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