Research Interests
Computable analysis (in particular, Weihrauch reducibility and its connections to reverse mathematics),
algorithmic learning theory of algebraic structure, (effective) descriptive set theory.
Publications and preprints
-
Calculating the Mind Change Complexity of Learning Algebraic Structures
(with Bazhenov and San Mauro). In: 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.
https://doi.org/10.1007/978-3-031-08740-0_1.
-
Learning algebraic structures with the help of Borel equivalence relations
(with Bazhenov and San Mauro). Theoretical Computer Science, 2023.
https://doi.org/10.1016/j.tcs.2023.113762.
Available on arXiv.
-
The Weihrauch lattice at the level of Π11-CA0
: the Cantor-Bendixson theorem
(with Marcone and Valenti). The Journal of Symbolic Logic, 2025.
doi:10.1017/jsl.2024.72.
Available on arXiv.
-
The complexity of finding supergraphs (with Pauly). In: 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.
https://doi.org/10.1007/978-3-031-36978-0_15.
-
Embeddability of graphs and Weihrauch degrees (with Pauly).
Journal of Mathematical Logic, 2025.
https://www.worldscientific.com/doi/10.1142/S0219061325500114.
Available on arXiv.
-
Classifying different criteria for learning algebraic structures
(with Bazhenov, Jain, San Mauro and Stephan).
Annals of Pure and Applied Logic, 2025.
https://doi.org/10.1016/j.apal.2025.103648.
Available on arXiv.
-
Dichotomy results for classes of countable graphs
(with Fokina, Harrison-Trainor, Ko and Rossegger).
Submitted. Available on arXiv.
-
Arithmetical Aspects of Unfriendly Partitions
(with Goh and Stephan).
Submitted.
-
The tolerant learning hierarchy for c.e. sets
(with Ritter and San Mauro).
Submitted. Available on arXiv.
- Towards characterizing the initial segments of the degrees of the ceers
(with Ng, Lempp and San Mauro)
Submitted
-
On the learning power of Friedman-Stanley jumps (with Marcone and San Mauro).
Submitted.
Available on arXiv.
-
On statistical learning of graphs (with Delle Rose, San Mauro and Soldà).
Submitted. Available on arXiv.
-
Uniformity in learning structures (with Rossegger).
Submitted. Available on arXiv.
-
Hyperarithmetical Aspects of Unfriendly Partitions
(with Goh, Richter, Stephan, and Tang).
In preparation.
Teaching
(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
- (May 2026) Invited talk at Computability in Mathematics and Computer Science (online)
- (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).