I am currently working as a postdoctoral researcher at University of Minnesota under the supervision of Favonia.
My research interests are broadly in mathematical (in particular analytic) semantics of logic and computation, foundations of mathematics and constructive mathematics, (higher-order) recursion theory, (higher) category theory, 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 PhD student at University of Oxford (as well as Balliol College) in 2012-2018 under the supervision of Samson Abramsky, where my PhD thesis is on a mathematical, in particular semantic and analytic, foundation of (higher-order) logic, (higher-order) computation and constructive mathematics. 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, where my thesis advisor was Shin-ichi Minato. Meanwhile, in 2009-2010, I temporally left the undergraduate programme and had a one-year study at 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 has walked on a red carpet for his contribution to an excellent movie).