Yann Duplouy
Ingénieur en ingéniérie logicielle, ENS Paris-Saclay & LMF
Mail: duplouy@lmf.cnrs.fr
Bureau : 2U58
Téléphone : (+33) (0)1 87 87 54 76
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France