Bienvenue à Guillaume Munch

5 janvier 2017

inria-0110-310Guillaume 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.