Manlio Valenti

Dr. Manlio Valenti is a Lecturer in Computer Science at Swansea University specializing in theoretical computer science. His research focuses on computability theory, computable analysis, and Weihrauch reducibility within the School of Mathematics and Computer Science.

His work explores foundational aspects of computation, particularly the mathematical structures underlying computable functions and reducibility relations. Research examines the Weihrauch lattice, computational aspects of mathematical theorems, and categorical approaches to reducibility.

Dr. Valenti's publications demonstrate consistent focus on the Weihrauch lattice and computable analysis, with recent work investigating lattice structures, jump operators, and connections to reverse mathematics. Publications appear in theoretical computer science and mathematical logic venues.