Hayato Nasu

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