Norihiro Yamada

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

Supervision: I am looking for master and PhD students working with me. A potential research topic includes category theory and categorical logic, constructive mathematics, higher-order complexity, geometric groups and operator theory. Contact me if you are interested.

CV: Before coming to Coimbra, I was a postdoctoral research scholar at INESC TEC (the University of Minho) and the University of Minnesota. I also had short-term positions at Kyoto University and Australian National University. I was a PhD student at the University of Oxford (cf. my mathematical genealogy), for which my thesis was on model theory, higher-order computability and constructive mathematics.