
Hayato Nasu
奈須隼大
I am (about to be) a PhD student at RIMS, Kyoto University, Japan.
I am a member of the Computer Science Group.
(I will move from Kyoto to ??? in September 2025 to start my PhD.)
Email : Replace $\Theta$ with @ in hnasu$\Theta$kurims.kyoto-u.ac.jp
Research Interests
I am interested in the following topics:
- Categorical Logic – topos theory, hyperdoctrines, categorical semantics of type theory
- Category Theory – toposes, double categories, higher categories
- Type Theory – homotopy type theory, structural set theory