Research interests. My research interests are in pure mathematics and theoretical computer science, specifically mathematical semantics (esp. game semantics) of logic and computation (n.b., game semantics is far from game theory in economics), constructive mathematics, recursion theory, category theory, topology and the connection between these fields as well as their applications to theoretical computer science.
Brief CV. Before coming to Minneapolis, I spent a few months as a postdoctoral research fellow at Kyoto University in 2019 under the supervision of Yoshihiro Maruyama. Before the short period in Kyoto, I was a doctoral student at the University of Oxford in 2012–2018 (DPhil; Logic, Foundations & Structures) advised by Samson Abramsky and Bob Coecke (cf. my mathematical genealogy), where my doctoral thesis is on a game-semantic foundation of logic, computation and constructive mathematics. Before going to Oxford, I was an undergraduate student at Hokkaido University (BEng; TCS) in 2007–2012, where I was fortunate enough to have Thomas Zeugmann as my mentor. My bachelor thesis is on computational group theory advised by Shin-ichi Minato. Meanwhile, in 2009–2010, I temporally left the undergraduate programme and had a one-year study at the University of Wisconsin-Madison (Exchange Program; Pure Maths), where I met another mentor Ken Ono who is also the vice president of the American Mathematical Society.