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).
Contact
email : arnaudgolfouse (at) lmf (dot) cnrs (dot) fr