Yoan Geran
- En thèse depuis Octobre 2021 sous la direction de Olivier Hermant et de Gilles Dowek.
- Membre du CRI au Mines Paris et de l'équipe Deducteam du LMF.
Contact
LMF - Laboratoire Méthodes Formelles
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France
Téléphone : +33 (0)1 81 87 54 50
Mail : lmf-contact@lsv.fr
Nous suivre
