Arnaud Golfouse

PhD student, LMF

Mail: arnaud.golfouseREMOVE@lmf.cnrs.fr
Phone: +33 (0)1 81 87 00 0000 00
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

I am a PhD student, since october 2023, under the supervision of Jacques-Henri Jourdan (https://jhjourdan.mketjh.fr/) and Armaël Guéneau (https://gallium.inria.fr/~agueneau/).

I am working to add a notion of ghost ownership in Creusot (https://github.com/xldenis/creusot).

Teaching

  • TD Programmation Avancée (2023-2024) : L3 ENS Paris-Saclay

Contact

Miscellaneous