Norihiro Yamada: I am a member of the Centre for Mathematics of the University of Coimbra (CMUC), in which I belong to the Research Group on Algebra, Logic and Topology as well as the Inter-University Doctoral Programme in Mathematics with the University of Porto. I live in the beautiful city of Coimbra, which has a strong academic tradition, an international environment as well as rich history and culture. My research interests are in pure mathematics and (foundational aspects of) theoretical computer science: games and geometry in logic and algebra; category theory; higher-order computation.