## NORIHIRO YAMADA

I am a researcher at INESC-TEC and the University of Minho currently working on algebraic effects and quantitative equality via logic, topology and categories. I will take up a long-term appointment at the University of Coimbra sometime this year, where I will work on (algebraic) topology, (higher-order) computability/complexity, probability, functional analysis, geometric groups and the connections between these fields through combinatorics, (homotopy) type theory and (higher) categories.

â€‹

Research interests. My research interests are in pure mathematics and theoretical computer science: mathematical semantics (esp. game semantics) of logic and computation (n.b., game semantics is far from game theory), constructive mathematics, geometric groups, (higher-order) computability/complexity, (higher) categories, topology and homotopy, probability, operator algebra and the connections between these fields as well as their applications to theoretical computer science.

â€‹

A brief CV. Before coming to Braga, I was a postdoctoral research scholar at 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 (DPhil; logic, foundations and structures) advised by Samson Abramsky and Bob Coecke (cf. my mathematical genealogy), where my doctoral thesis was on game semantics, higher-order computability and constructive mathematics. I spent my undergraduate period at Hokkaido University (BEng; TCS), where I was fortunate enough to have Thomas Zeugmann as my mentor. My bachelor thesis was on computational group theory advised by Shin-ichi Minato. I also had a one-year study at the University of Wisconsin-Madison (exchange program; mathematics), where I met another excellent mentor Ken Ono.

â€‹

Scholarships. My doctoral study was supported by Funai Overseas Scholarship, and my undergraduate one by Inoue Scholarship.