I got my Ph.D. at the University of Udine in May 2023 under the supervision of Prof. Alberto Marcone and Dr. Luca San Mauro with the thesis "Many problems, different frameworks: Classification of Problems in Computable Analysis and Algorithmic Learning Theory".
Research interests
Computable analysis (in particular, Weihrauch reducibility and its connections to reverse mathematics), algorithmic learning theory of algebraic structure, (effective) descriptive set theory.
List of papers
- Learning theory
- Calculating the Mind Change Complexity of Learning Algebraic Structures (j.w.w. Nikolay Bazhenov, and Luca San Mauro)
Berger, U., Franklin, J.N.Y., Manea, F., Pauly, A. (eds) Revolutions and Revelations in Computability. CiE 2022. Lecture Notes in Computer Science, vol 13359. Springer, Cham. 10.1007/978-3-031-08740-0_1;
- Learning algebraic structures with the help of Borel equivalence relations (j.w.w. Nikolay Bazhenov, and Luca San Mauro)
Theoretical Computer Science, 951:113762, 2023.
arXiv link
- Classifying different criteria for learning algebraic structures (j.w.w. Nikolay Bazhenov, Sanjay Jain, Luca San Mauro and Frank Stephan),
submitted
arXiv link
- On the learning power of Friedman-Stanley jumps (j.w.w. Alberto Marcone and Luca San Mauro)
submitted
arXiv link
- On statistical learning of graphs (j.w.w. Valentino Delle Rose, Luca San Mauro and Giovanni Soldà )
submitted
- Computable analysis
- The Weihrauch lattice at the level of $\mathbf{\Pi}_1^1\text{-}\mathsf{CA}_0$: the Cantor-Bendixson theorem (j.w.w. Alberto Marcone and Manlio Valenti)
The Journal of Symbolic Logic, published online,2025:1-39
doi:10.1017/jsl.2024.72
arXiv link
- Embeddability of graphs and Weihrauch degrees (j.w.w. Arno Pauly)
accepted for publication (Journal of Mathematical Logic)
arXiv link
- The complexity of finding supergraphs (j.w.w. Arno Pauly)
Della Vedova, G., Dundua, B., Lempp, S., Manea, F. (eds) Unity of Logic and Computation. CiE 2023. Lecture Notes in Computer Science, vol 13967. Springer, Cham. 10.1007/978-3-031-36978-0_15
Teaching Experience
(2021-2022) Teaching assistant for the course of Linear Algebra, Bachelor degree in Internet of Things, Big Data, Machine Learning, Uniud held by Prof. D'Agostino.
Talks
20 contributed talks, most of them given in several editions of Logic Colloquium, Computability in Europe, Computability and Complexity in Analysis and Continuity, Computability, Constructivity and Computability
-
(July 2024) Invited talk at UMI-AMS joint meeting (Palermo).
-
(July 2024) Invited talk at Computability and Complexity in Analysis (Swansea).
-
(March 2024) Invited talk at UW-Logic seminar (online).
-
(November 2021) Invited talk at Midwest computability seminars (online).
