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
Production scientifique
Classical realizability as a classifier for non-determinism
Logic In Computer Science
2018
Guillaume Geoffroy
