Arnaud Golfouse
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
- email : arnaudgolfouse (at) lmf (dot) cnrs (dot) fr
- Address : Building 650 - Gif-Sur-Yvette, France, office 272