Guillaume a rejoint le LS2N, en tant que chargé de recherche Inria dans l’équipe Ascola, située à l’Institut Mines Télécom Atlantique, depuis septembre 2016.
Après son doctorat au sein du Laboratoire Preuve Programme Système (PPS) de l’Université Paris Diderot (désormais IRIF), il a rejoint le Theory Group du laboratoire d’informatique de l’Université de Cambridge, où il a travaillé pendant deux ans sur les modèles algébriques et logiques des effets de bord dans les langages de programmation.
Il est venu à Nantes pour participer avec Nicolas Tabareau à la création d’une nouvelle équipe Inria dédiée à la conception d’une nouvelle génération d’assistants de preuve, autour du projet ERC CoqHoTT.