Monsieur Valentin MAESTRACCI / Docteur
Enseignement et recherche, enseignement supérieur*Recherche en milieu académique*
Coordonnées
Adresse professionnelle
, ,
Emplois
Recherche : NON
Doctorat
Titre : Informatique
1ère inscription en thèse : 1 septembre 2022 / 3A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 6 novembre 2025
Sujet : Un petit pas vers une logique "Open Source"
Directeur de thèse : REGNIER LAURENT
Co-directeur : SEILLER Thomas
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Master
Titre : MPRI
septembre 2020 - ENS Cachan
Mention : magna cum laude
Production scientifique
-
Functorial Models of Differential Linear Logic
Formal Structures for Computation and Deduction (FSCD), 2025
Marie Kerjean, Valentin Maestracci, Morgan Rogers
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2025.26
-
The Lambda Calculus Is Quantifiable
Computer Science Logic (CSL), 2025
Valentin Maestracci, Paolo Pistone
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.34
Langues
Anglais : C2 - Courant
Français : C2 - Maternel