top of page

NORIHIRO YAMADA

A29628DF-C7BA-400D-BFE4-353354C5393A_edi

I am a member of the Centre for Mathematics of the University of Coimbra.

​

Research interests. My research interests are in pure mathematics and theoretical computer science: foundations of mathematics, geometry and topology, (higher-order) computability and complexity, (higher) categories, functional analysis and connections between these fields as well as their applications to computer science.

​

A brief CV. Before coming to Coimbra, I was a postdoctoral research scholar at INESC TEC and the University of Minnesota. I also had short-term positions at Kyoto University and Australian National University. I was a doctoral student at the University of Oxford (cf. my mathematical genealogy), where my doctoral thesis was on model theory, higher-order computability and constructive mathematics. â€‹

bottom of page