I am a postdoctoral research scholar at the University of Minnesota advised by Favonia.


Research interests. My research interests are in mathematical semantics (esp. game semantics) of logic and computation (n.b., game semantics is far from game theory in economics), foundations of mathematics and constructive mathematics, recursion theory, categorical theory, topology and the connection between these fields. I am also interested in applying the methods in these fields 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 Math), where I met another mentor Ken Ono who is also the vice president of AMS.

Full CV. Click here

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