Hayato Nasu

Hayato Nasu
奈須隼大

I am a PhD student at RIMS, Kyoto University, Japan.

I am a member of the Computer Science Group.

I will move to Dalhousie University, Canada, 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