enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*

Coordonnées

Adresse professionnelle

163 avenue de Luminy Institut de Mathématiques de Marseille 13009 MARSEILLE

Techniques maîtrisées

Programmation

Doctorat

Intitulé : Mathématiques
1ère inscription en thèse : Septembre 2015
École doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de la thèse : 29 Mars 2019
Sujet : Réalisabilité classique : nouveaux outils et applications
Directeur de thèse : LAURENT REGNIER
Co-directeur :
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Intitulé de l'équipe :

Master

Intitulé : Logique mathématique et fondements de l'informatique
Octobre 2014 - Université Paris Diderot
Mention : Très bien

Langues vivantes

Italien : C2 - Courant
Anglais : C2 - Courant
Espagnol : C2 - Courant
Français : C2 - Maternel

Production scientifique

Classical realizability as a classifier for non-determinism
Logic In Computer Science 2018
Guillaume Geoffroy