I am a mathematician, logician and theoretical computer scientist, currently working as a postdoctoral researcher at University of Minnesota under the supervision of Favonia.
My research interests are broadly in mathematical semantics of logic and computation, foundations of mathematics and constructive mathematics, (higher-order) recursion theory and theory of computation, (higher) category theory and categorical logic, 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 mathematical foundations of logic, 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 to have Thomas Zeugmann as my mentor. My bachelor thesis is on computational group theory, where my thesis advisor was Shin-ichi Minato. Also, 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 a movie!).