I do type theory and category theory, I mean ∞-ones. I am currently a 特任助教 at School of Informatics, Nagoya University. My research interests are homotopy type theory, category theory, type theory, logic, and computer science.

Papers

Publications

Preprints

PhD Thesis

Abstract and Concrete Type Theories. Institute for Logic, Language and Computation, University of Amsterdam, 9 July, 2021. abstract pdf UvA DARE

Other documents

Talks

Awards

  • Best Paper Award by Junior Researchers at FSCD 2023, July 3–6, 2023, Roma, Italy.
  • Best Student Paper Award at HoTT 2019, August 12–17, 2019, Pittsburgh, USA.

Activities

SNS accounts