Monsieur Federico OLIMPIERI / Docteur
enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*chercheur en entreprise, R&D du secteur privé*
Adresse professionnelle
, ,
Expérience professionnelle
Emplois
Recherche : NON
Doctorat
Titre : Mathématiques
1ère inscription en thèse : 1 septembre 2017 / 3A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 27 novembre 2020
Sujet : Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul
Directeur de thèse : REGNIER LAURENT
Co-directeur :
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Master
Titre : Master 2
juin 2017 - Aix-Marseille Université
Production scientifique
-
"Normalization and Taylor expansion of lambda terms"
HOR Pre-proceedings, 2018
Federico Olimpieri
-
"On the Taylor expansion of lambda terms and the groupoid structure of their rigid approximants"
TLLA & Linearity Pre-proceedings, 2018
Federico Olimpieri et Lionel Vaux
Langues
Anglais : C2 - Courant
Français : C2 - Courant
Allemand : A1 - Débutant
Italien : Maternel