Education and training
Master's Degree in Mathematics
Università Roma Tre
[20/09/2020 - 27/10/2022]
Address:
Largo San Leonardo Murialdo 1
00146 Rome
Italy
Specialization: Mathematical logic and theoretical computer science
Mark: 110/110 cum laude
Supervisor: Lorenzo Tortora de Falco
Thesis: Injectivity in linear logic
Abstract: We review some recent results concerning the question of injectivity in the multiplicative and exponential fragment of linear logic. We review the notion of obsessional experiment, the properties of the multiplicative case and we revisit a sufficient condition of local injectivity. Then, we study the Taylor expansion of λ-terms. We prove the commutation of Taylor support and head reduction. As a corollary, we also establish the property that, if a λ-term has a head normal form, then its head reduction terminates.
Keywords: linear logic, obsessional experiment, Taylor expansion, lambda calculus, proof net, denotational semantics
Related material: Slides, Proclamation (succinct)
Note: the slides for the defense in Marseille are in English
M2 Mathematics and Applications
Aix-Marseille Université
[07/09/2021 - 01/07/2022]
Address:
163 Avenue de Luminy
13009 Marseille
France
Specialization: Computer science and discrete mathematics (IMD)
Mark: 18/20
Supervisor: Lionel Vaux Auclair
Thesis: Injectivity in linear logic
Note: the thesis for the defense in Rome is a revised version
Abstract: We review some recent results concerning the question of injectivity in the multiplicative and exponential fragment of linear logic. We review the notion of obsessional experiment, the properties of the multiplicative case and we revisit a sufficient condition of local injectivity. Then, we study the Taylor expansion of λ-terms. We prove the commutation of Taylor support and head reduction. As a corollary, we also establish the property that, if a λ-term has a head normal form, then its head reduction terminates.
Keywords: linear logic, obsessional experiment, Taylor expansion, lambda calculus, proof net, denotational semantics
Related material: Slides
This training activity includes the following:
Research Initiation Internship
Institut de Mathématiques de Marseille (I2M)
[27/02/2022 - 01/07/2022]
Bachelor's Degree in Mathematics
Università Roma Tre
[20/09/2020 - 27/10/2022]
Address:
Largo San Leonardo Murialdo 1
00146 Rome
Italy
Mark: 110/110 cum laude
Supervisor: Lorenzo Tortora de Falco
Thesis: Algebre di Boole e teorema di rappresentazione di Stone
Related material: Slides
High School Graduation
Liceo Scientifico Galileo Galilei
[31/08/2012 - 05/07/2017]
Address:
Via Galileo Galilei 1
00058 Santa Marinella RM
Italy
Mark: 100/100 cum laude