Moana Jubert

I am a PhD student working on homotopy type theory under the supervision of Hugo Herbelin.

  • You can write me at moana.jubert at
  • I have a GitHub profile
  • You can also find me on Twitter

My background is in pure mathematics. Areas of interest include homotopy type theory, higher category theory and algebra. I am also interested in computability as well as information theory.

Below are my master's theses:

A nice picture of me :)