Norihiro Yamada

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 (ALT) and the Doctoral Programme in Mathematics held jointly with the Centre for Mathematics of the University of Porto (CMUP). I live in the beautiful city of Coimbra, which has a strong academic tradition, an international environment, rich history and culture.

My research interests are in pure mathematics and foundational aspects of logic and 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 to work with me. A potential research topic includes category theory and categorical logic, constructive mathematics, homotopy type theory and ∞-categories, 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), in which my thesis was on model theory, higher-order computability and constructive mathematics.