Monsieur Valentin MAESTRACCI / PhD
Enseignement et recherche, enseignement supérieur*Recherche en milieu académique*
Contact details
Professional contact details
, ,
Jobs
Research : NON
PhD
Title : Informatique
First registration date : 1 September 2022 / 3A
Doctoral school : Mathématiques et Informatique de Marseille
Thesis defense date : 6 November 2025
Subject : Un petit pas vers une logique "Open Source"
Thesis supervisor : REGNIER LAURENT
Thesis co-supervisor : SEILLER Thomas
Research unit : I2M - Institut de Mathématiques de Marseille
Master's degree
Title : MPRI
September 2020 - ENS Cachan
Mention : magna cum laude
Publications
-
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
Languages
Anglais : C2 - Courant
Français : C2 - Maternel