Theses
I can offer theses on a wide range of topics related to Mathematical Logic and Computability for Triennale (BSc) and Magistrale (MSc) students.
Supervised or co-supervised PhD Students:
Leonardo Mainardi, Ramsey-type principles, Regressivity and Well-Orderings, Sapienza, Dept. of Computer Science, 2024, cum laude.
Oriola Gjetaj, University of Gent, Dept. of Mathematics: Analysis, Logic and Discrete Mathematics. Expected August 2025.
Andrea Vivi, Sapienza University of Rome, Dept. of Computer Science Sapienza. In progress.
Supervised MSc theses:
Marcello Stanisci, Sulla complessità dei teoremi Thin-Set e Free-Set di Friedman, MSc Thesis in CS, 2013, Sapienza.
Giandomenico Laviola, Complessità computazionale e definibilità logica, MA Thesis in Philosophy, 2013, University of Rome III.
Daniele Tavernelli, On the strength of restrictions of Hindman's Theorem, MSc Thesis in CS, 2018, Sapienza.
Leonardo Mainardi, The Ordinal Analysis of RCA0 + WO(ε0), MSc Thesis in CS, 2018, Sapienza.
Alfonso Alfaro, Applications of Forcing in the study of the computable strength of combinatorial principles, MSc Thesis in CS, 2019, Sapienza.
Oriola Gjetaj, Applications of fast-growing functions to the study of Ramsey-type combinatorial principles, MSc Thesis in CS, 2020, Sapienza.
Matteo Stabilini, Peano Arithmetic: examples of fast-growing functions, MSc Thesis in CS, 2023, Sapienza.
Giordano Celli, MSc Thesis in Math, ongoing.
Supervised BSc theses (all at Sapienza University):
1. Francesco Lepore, The effective content and logical strength of Hindman’s Finite Sums Theorem, CS, 2016.
2. Mattia Paolacci, Computational Learning Theory: introduzione all’Incremental Learning, CS, 2019.
3. Daniele Tucci, Interactive Proof Systems e Zero Knowledge Proof Systems, Math, 2021.
4. Marco Nicoletti, Finite Model Theory, Computer Engineering, 2022.
5. Paolo Magnaldi, Analisi non-standard e Combinatoria, Math, 2022.
6. Nicola De Riso Paparo, Aspetti logici e algoritmici del Teorema di Hindman, Math, 2022.
7. Giordano Celli, Gli ultrafiltri e alcune loro applicazioni in Logica Matematica, Math, 2022, cum laude.
8. Flavio Palmiero, Calcolo dei sequenti e prova di coerenza di Gentzen per l’Aritmetica di Peano, Math, 2022.
9. Filippo Birindelli, Dimostrabilità in teoria di Ramsey: i numeri di Hindman e il principio di Paris-Harrington, Math, 2022, cum laude.
10. Federico Alvetreti, Teoria della ricorsività, il teorema di Friedberg-Muchnik, Math, 2022.
11. Jacopo Saccoccia, Analisi della complessità logica e algoritmica dei Teoremi di Ramsey, Math, 2022.
12. Massimo Narduzzi, Il λ-calcolo e il Teorema di Church-Rosser per la β-riduzione, Math, 2022.
13. Filippo Badero, Le sequenze di Goodstein e i modelli dell’Aritmetica di Peano, Math, 2022.
14. Arianna Di Blasi, La congettura di Kreisel, Math, 2022.
15. Margherita Ronca, Matematica inversa e analisi matematica, Math, 2022.
16. Martina Timodei, Il Teorema di Ramsey per funzioni regressive e i modelli dell’Aritmetica di Peano, Math, 2022.
17. Tommaso Albertini, I giochi di Ehrenfeucht-Fraissé nella teoria dei modelli finiti, CS, 2023.
18. Ilaria Lobozzo, Il Teorema di eliminazione del taglio, Math, 2023.
19. Emanuele Di Staso, Il Teorema di Fagin e il suo ruolo nella Teoria dei Modelli Finiti, Math, 2023.
20. Marco Lazzaro, Logica modale e logica della dimostrabilità, Math, 2023, cum laude.
21. Enrico Notaro, Modelli logici della conoscenza, conoscenza condivisa e consenso, Math, 2024, cum laude.
22. Valentina Troilo, I limiti espressivi della logica del primo ordine: i giochi di Ehrenfeucht-Fraissé, Math, 2024.
23. Giuseppe Vulduraro, Campi non archimedei e modelli non-standard, Math, 2024.
24. Leonardo Rocci, Assioma di Scelta e Modelli Permutazionali, Math, 2024.
25. Francesco Sulpizi, Un risultato di indipendenza dall’Aritmetica di Peano: il Teorema di Paris-Harrington, Math, 2024, cum laude.
26. Gennaro Picone, Coerenza relativa dell’Ipotesi del Continuo Generalizzata in ZF, Math, 2024.