Arnaud Golfouse
Doctorant, LMF
Mail: arnaud.golfouse@lmf.cnrs.fr
Phone: +33 (0)1 81 87
Office: 272, 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 doctorant, depuis le 1er octobre 2023, sous la supervision de Jacques-Henri Jourdan (https://jhjourdan.mketjh.fr/) et Armaël Guéneau (https://gallium.inria.fr/~agueneau/).
Je travaille à rajouter une notion de ghost ownership dans Creusot (https://github.com/xldenis/creusot).
Enseignements
- TD Programmation Avancée (2023-2024) : L3 ENS Paris-Saclay
Contact
- email : arnaudgolfouse (at) lmf (dot) cnrs (dot) fr
- Adresse : Bâtiment 650 - Gif-Sur-Yvette, France, bureau 272