top of page



I am currently a researcher at INESC-TEC working primarily on mathematical semantics of algebraic effects and quantitative equality via mathematical logic (e.g., game semantics, constructive mathematics, linear logic, homotopy type theory and higher-order computability/complexity), category theory (e.g., monads, algebraic theories, internal/enriched categories, higher categories and fibrations), topology and analysis (e.g., algebraic topology, functional analysis and measure theory). 

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, (higher-order) computability/complexity, category theory, topology and the connection between these fields as well as their applications to computer science.

Brief CV. Before coming to Braga, I was a postdoctoral research scholar at the University of Minnesota in 2019–2022. I also had short time positions at Kyoto University in 2019, and at Australian National University in 2022. 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 mathematical semantics, higher-order recursion theory and constructive mathematics. Before the DPhil, 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 Japan 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.

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

bottom of page