Manlio Valenti
Lecturer
Faculty of Science and Engineering
Swansea University
Email:
Research interests
My research is focused on computable analysis, Weihrauch reducibility, and (effective) descriptive set theory.
Papers
Selected talks
- 12.2024
- On the density of the Weihrauch degrees, Joint meeting of the NZMS, AustMS and AMS, special session in Computability Theory and its Applications 2024, invited talk
- 09.2024
- Quotients in the Weihrauch degrees, AILA meeting, XXVIII Incontro di Logica, 2024
- 07.2024
- Minimal covers in the Weihrauch degrees, AMS-UMI International Joint Meeting, special session in Computability, invited talk
- 07.2024
- Chains and antichains in the Weihrauch degrees, CCA 2024
- 07.2024
- The weakness of finding descending sequences in ill-founded linear orders, CiE 2024
- 07.2023
- Is there a jump in the Weihrauch lattice?, CiE2023, invited talk
- 06.2023
- On the structure of Weihrauch degrees, LC2023, invited talk
- 03.2023
- Exploring some structural properties of the Weihrauch degrees, SEALS2023, invited talk
- 11.2022
- The first-order part of computational problems, Midwest Computability Seminar, invited talk
- 05.2022
- New operators on Weihrauch degrees and their applications to separation results, Leeds Computability Days, invited talk
- 03.2022
- The first-order part of Weihrauch degrees, Online Logic Seminar, invited talk
- 07.2021
- Algebraic properties of the first-order part of a problem, LC 2021
- 07.2021
- The Cantor-Bendixon theorem in the Weihrauch lattice, CiE 2021
- 06.2021
- The uniform strength of descending sequences, ASL North American Annual Meeting 2021, special session in Computability Theory, invited talk.
- 04.2021
- Ill-founded orders and Weihrauch degrees, Oberwolfach Workshop 2117 "Computability theory"
- 11.2020
- On the descriptive complexity of Fourier dimension and Salem sets, CTA computability seminar, invited talk.
- 10.2020
- Fractal dimensions and descriptive set theory, PennState Logic Seminar, invited talk.
- 09.2020
- Computing the Fourier dimension, CCC 2020
- 07.2020
- Finding descending sequences in ill-founded linear orders, CiE 2020
- 10.2019
- The open and clopen Ramsey theorems in the Weihrauch lattice, UW-Madison Logic Seminar, invited talk
- 07.2019
- The open and clopen Ramsey theorems in the Weihrauch lattice, CiE 2019
Teaching
CS-275 - Automata and Formal Language Theory - Swansea University 2023/2024
Math 975 - Seminar in Foundations - Priority arguments - UW-Madison 2022/2023
Math/CompSci/Stat 475 Introduction to Combinatorics - UW-Madison 2022/2023
Math 570 Fundamentals of Set Theory - UW-Madison 2022/2023
Math 990 Reading and Research - UW-Madison 2022/2023
Teaching Assistant - Mathematical analysis 2 - B.Sc. Civil Engineering (Udine) 2021/2022
Mathematical Analysis - B.Sc. Imaging and radiotherapy techniques (Udine) 2021/2022
Teaching Assistant - Mathematical analysis 1 - B.Sc. Industrial Engineering (Udine) 2021/2022
Teaching Assistant - Mathematical analysis 1 - B.Sc. Mathematics (Udine) 2019/2020
Teaching Assistant - Mathematical analysis 1 - B.Sc. Mathematics (Udine) 2018/2019