top of page



I am a researcher at INESC-TEC and the University of Minho currently working on algebraic effects and quantitative equality via logic, topology and categories. I will take up a long-term appointment at the University of Coimbra sometime this year, where I will work on (algebraic) topology, (higher-order) computability/complexity, probability, functional analysis, geometric groups and the connections between these fields through combinatorics, (homotopy) type theory and (higher) categories.

Research interests. My research interests are in pure mathematics and theoretical computer science: mathematical semantics (esp. game semantics) of logic and computation (n.b., game semantics is far from game theory), constructive mathematics, geometric groups, (higher-order) computability/complexity, (higher) categories, topology and homotopy, probability, operator algebra and the connections between these fields as well as their applications to theoretical computer science.

A brief CV. Before coming to Braga, I was a postdoctoral research scholar at the University of Minnesota. I also had short-term positions at Kyoto University and Australian National University. I was a doctoral student at the University of Oxford (DPhil; logic, foundations and structures) advised by Samson Abramsky and Bob Coecke (cf. my mathematical genealogy), where my doctoral thesis was on game semantics, higher-order computability and constructive mathematics. I spent my undergraduate period at Hokkaido University (BEng; TCS), where I was fortunate enough to have Thomas Zeugmann as my mentor. My bachelor thesis was on computational group theory advised by Shin-ichi Minato. I also had a one-year study at the University of Wisconsin-Madison (exchange program; mathematics), where I met another excellent mentor Ken Ono.

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

bottom of page