Depuis 09/2021 

Maître de conférences à l’Institut de Recherche en Informatique Fondamentale, Université Paris, département d’informatique.

09/19 – 08/21 

Post-doctorant au département d’informatique et sciences de l’ingénieur de l’université de Bologne (projet de recherche DIAPASoN – Differential Program Semantics).

09/18 – 08/19 

Attaché temporaire d’enseignement et de recherche à Aix-Marseille Université (Institut de Mathématiques de Marseille).

09/15 – 08/18 

Doctorant contractuel à Aix-Marseille Université (Institut de Mathématiques de Marseille).

2015 – 2019 

Doctorat en mathématiques, Université d’Aix-Marseille. Réalisabilité classique : nouveaux outils et applications, sous la direction de Laurent Regnier. Débuté le 1er septembre 2015, soutenu le 29 mars 2019.

2011 – 2015 

Diplôme de l’École Normale Supérieure, École Normale Supérieure, Paris. Spécialité principale mathématiques, spécialité secondaire informatique. Débuté en septembre 2011, obtenu le 22 janvier 2016.

2013 – 2014 

M2 recherche Logique Mathématique et Fondements de l’Informatique, Université Paris Diderot, École Normale Supérieure, Paris. Parcours logique informatique. Mention très bien. Débuté en septembre 2013, obtenu le 7 octobre 2014.

2012 – 2013 

M1 Mathématiques : formation inter-universitaire en mathématiques fondamentales et appliquées, École Normale Supérieure, Paris.

2011 – 2012 

L3 Mathématiques : formation inter-universitaire en mathématiques fondamentales et appliquées, École Normale Supérieure, Paris. Débutée en septembre 2011, obtenue le 27 juin 2012.

2009 – 2011 

Classe préparatoire MPSI puis MP, Lycée Louis le Grand, Paris. Admission sur concours à l’École Normale Supérieure, groupe MPI, rang 23.

2009 

Baccalauréat général, série scientifique, Lycée Évariste de Parny, Saint Paul (974). Mention très bien, avec les félicitations du jury.

08/2022 

Guillaume Geoffroy. A first-order completeness result about characteristic Boolean algebras in classical realizability. LICS 2022 : Thirty-Seventh Annual ACM / IEEE Symposium on Logic in Computer Science.

02/2021 

Laura Fontanella, Guillaume Geoffroy. Preserving cardinals and weak forms of Zorn’s lemma in realizability models. Mathematical Structures in Computer Science.

01/2021 

Guillaume Geoffroy, Paolo Pistone. A partial metric semantics of higher-order types and approximate program transformations. CSL 2021: 29th EACSL Annual Conference on Computer Science Logic.

07/2018 

Guillaume Geoffroy. Classical Realizability as a Classifier for Nondeterminism. LICS 2018 : Thirty-Third Annual ACM / IEEE Symposium on Logic in Computer Science.

03/2019 

Guillaume Geoffroy. Réalisabilité classique : nouveaux outils et applications. Thèse de doctorat.

Thomas Ehrhard, Guillaume Geoffroy. Integration in cones. En cours de relecture (journal).

06/2018 

Rencontre de réalisabilité à Marseille, co-organisateur (avec Laura Fontanella).

Membre fondateur de l’association Pi Day (www.piday.fr).

2015 – 2017 

Président de l’association Pi Day.

14/03/2017 

Co-écriture (avec Joël Cohen) de la comédie musicale mathématique From Marseille to Vegas et co-organistion de la tournée de Pi : trois représentations de la comédie musicale, à Paris (théâtre des Variétés), Lyon (le Transbordeur) et Marseille (le Silo), accompagnées d’exposés scientifiques tout public (2000 spectateurs au total).
Vidéos : https://www.piday.fr/extraits-video-2017/.

14/03/2016 

Co-écriture de la comédie musicale mathématique Les π travaux d’Archimède et co-organisation de la journée de Pi : une représentation de la comédie musicale au théâtre national de la Criée à Marseille, accompagnée d’exposés scientifiques tout public (700 spectateurs). Action récompensée par le prix d’Alembert de la Société Mathématique de France en 2016.

Depuis 2021 

Maître de conférences en informatique à l’Université Paris Cité (192h par an). Programmation par appels système (Unix, C, L3) ; Programmation fonctionnelle (OCaml, L1) ; compilation (M1).

2020 

Algorithmes en Python (30h, travaux pratiques, licence de biologie).

2018 – 2019 

ATER à l’Université d’Aix-Marseille (192h par an). Algèbre linéaire ; méthodologie ; langage et raisonnement mathématiques (cours et travaux dirigés, L1) ; programmation C et système (travaux pratiques, L1) ; ateliers d’initiation à la recherche (lycée).

2015 – 2018 

Mission d’enseignement à l’Université d’Aix-Marseille (64h par an, 2/3 maths, 1/3 info). Introduction à l’analyse ; algèbre et géométrie (travaux dirigés, L1) ; programmation en C (travaux pratiques, L1 et L2) ; logique et calculabilité (cours magistral, M2) ; ateliers d’initiation à la recherche (lycée).

Français (langue maternelle), anglais, italien, espagnol.

2017 – 2018 

Organisateur du Café des langues de Luminy, groupe d’échange multilingue quotidien des étudiants de Luminy.