NORIHIRO YAMADA
I am a researcher at INESC-TEC and the University of Minho working on mathematical semantics of algebraic effects and quantitative equality through mathematical logic, category theory, topology and functional analysis.
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 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.