Arnaud Golfouse

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

Divers