Nicolas Dumange
PhD Student
Mail: nicolas.dumange@lmf.cnrs.fr
Phone: +33 (0)1 81 87 00 00
Office: 2S62, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
Je suis actuellement en thèse depuis le 1er septembre 2024, sous la supervision de Stéphane Demri.
Ma thèse porte sur les Raisonnements stratégiques avec Ressouces en Présence d'Incertitude.
Enseignement à l'ENS Paris-Saclay
Initiation à la vérification en M1.