enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*chercheur en entreprise, R&D du secteur privé*

Coordonnées

Avenue de Luminy, 168, bat. A, 101. 13009 Marseille
federico.olimpieri@univ-amu.fr

Doctorat

Intitulé : Mathématiques
1ère inscription en thèse : Septembre 2017 / 3A these 2019
École doctorale : Mathématiques et Informatique de Marseille
Sujet : Développement de Taylor et systèmes de types rigides pour le lambda-calcul.
Directeur de thèse : LAURENT REGNIER
Co-directeur :
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Intitulé de l'équipe :

Master

Intitulé : Master 2
Juin 2017 - Aix-Marseille Université

Langues vivantes

Anglais : C2 - Courant
Français : C2 - Courant
Allemand : A1 - Débutant
Italien : Maternel

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