Monsieur Federico OLIMPIERI / PhD
enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*chercheur en entreprise, R&D du secteur privé*
Contact details
Professional contact details
, ,
Professional experience
Jobs
Research : NON
PhD
Title : Mathématiques
First registration date : 1 September 2017 / 3A
Doctoral school : Mathématiques et Informatique de Marseille
Thesis defense date : 27 November 2020
Subject : Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul
Thesis supervisor : REGNIER LAURENT
Thesis co-supervisor :
Research unit : I2M - Institut de Mathématiques de Marseille
Master's degree
Title : Master 2
June 2017 - Aix-Marseille Université
Languages
Anglais : C2 - Courant
Français : C2 - Courant
Allemand : A1 - Débutant
Italien : Maternel