Arnaud Golfouse

Je suis doctorant, depuis le 1^er 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).

Contact

email : arnaudgolfouse (at) lmf (dot) cnrs (dot) fr