I am currently working as a postdoctoral researcher at the University of Minnesota under the supervision of Favonia.
Research interests. My research interests are broadly in mathematical (in particular game) semantics of logic and computation, foundations of mathematics and constructive mathematics, (higher-order) recursion theory, (higher) category theory, algebra, topology and the connection between these fields witnessed by homotopy type theory.
Brief CV. Before coming to Minneapolis, I spent a few months as a postdoctoral researcher 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 (and Balliol College) in 2012-2018 (D.Phil; Logic, Foundations & Structures; ranked first on the first year exams on logic and math) under the supervision of Samson Abramsky and Bob Coecke (cf. my mathematical genealogy), where my doctoral thesis is on a mathematical, specifically game-semantic, foundation of logic, computation and constructive math. Before going to Oxford, I was an undergraduate student at Hokkaido University (B.Eng; TCS; Nitobe Prize & W. Wheeler Prize) 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 in the final year undergraduate level; GPA 4.00/4.00), where I met another excellent mentor Ken Ono (who by the way walked on a red carpet for his contribution to an excellent movie).