Pietro Barbieri: Enhancing Regular Corecursion. University of Genoa, Italy 2023