Welcome!
I am a PhD student at the University of Udine under the supervision of professor
Alberto Marcone.
I graduated in mathematics at the University of Trento in 2021 with the thesis
Model theory of pseudofinite structures
. Here is my CV.
I am interested in computability theory, with a focus on foundational questions from mathematical logic.
My research so far focused on the reverse mathematics of combinatorial principles, especially from order theory
and graph theory. I am also interested in Ramsey theory, in particular in the study of Ramsey like statements using
largeness notions associated to systems of fundamental sequences or to blocks and barriers.
For more information about my research, please refer to my
research statement.
Publications and work in progress
- Effectiveness and strong graph indivisibility, with Damir Dzhafarov and Reed Solomon (submitted) arXiv:2411.16950
- The barrier Ramsey theorem, with Alberto Marcone and Antonio Montalbán (submitted) arXiv:2505.02544
- Reverse mathematics and dimension of posets, with Marta Fiori Carones and Alberto Marcone (in progress)
- Ramsey theorem for relatively large sets, joint with Lorenzo Carlucci and Konrad Zdanowski (in progress)
Talks
| Sep 2025 | Effectiveness and strong graph indivisibility |
| Singapore logic seminar, National University of Singapore, Singapore | |
| Sep 2025 | The barrier Ramsey theorem |
| Proof society 2025, University of Ghent, Belgium | |
| Jul 2025 | The strength of Ramsey theorem for α-large sets |
| Computability in europe 2025, University of Lisbon, Portugal | |
| Sep 2024 | Reverse mathematics and dimension of posets |
| XXVIII AILA logic meeting, University of Udine, Italy | |
| Sep 2024 | Classifying the pigeonhole property |
| Models, sets and classifications PRIN meeting, University of Udine, Italy | |
| Jun 2024 | Largeness notions |
| Logic colloquium 2024, University of Gothenburg, Sweden | |
| Feb 2024 | Reverse mathematics and dimension of posets |
| Connecticut logic seminar, UConn, Storrs, Connecticut, US | |
| Feb 2024 | Largeness notions |
| Computability seminar, CUNY graduate center, New York, US |
Teaching
| Sep 2024 - May 2025 | Geometry I, B.Sc. in mathematics, Teaching assistant |
| University of Udine, Italy | |
| Sep 2024 - Dec 2024 | Linear algebra, B.Sc. in engineering, Teaching assistant |
| University of Udine, Italy | |
| Nov 2023 - Dec 2023 | Calculus I, B.Sc. in mathematics, Teaching assistant |
| University of Udine, Italy | |
| Sep 2023 - Oct 2023 | Calculus I, B.Sc. in informatics, Teaching assistant |
| University of Udine, Italy | |
| Jan 2023 - Sep 2023 | Calculus I, B.Sc. in informatics and IBML, Teaching assistant |
| University of Udine, Italy | |
| Sep 2020 to Dec 2020 | Geometry and linear algebra, B.Sc. in engineering, Teaching assistant |
| University of Trento, Italy | |
| Jan 2020 - May 2020 | Geometry and linear algebra, B.Sc. in engineering, Teaching assistant |
| University of Trento, Italy | |
| Sep 2019 - Dec 2019 | Geometry I, B.Sc. in mathematics, Teaching assistant |
| University of Trento, Italy | |
| Jan 2019 - May 2019 | Geometry and linear algebra, B.Sc. in engineering, Teaching assistant |
| University of Trento, Italy |