<WRAP group> <WRAP half column>
====== Moana Jubert ======

I am a PhD student working on [[https://ncatlab.org/nlab/show/homotopy+type+theory|homotopy type theory]] under the supervision of [[http://pauillac.inria.fr/~herbelin/|Hugo Herbelin]].

  * You can write me at ''moana.jubert'' ''at'' ''inria.fr''
  * I have a [[https://github.com/mjub|GitHub]] profile
  * You can also find me on [[https://twitter.com/moanajub|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.

==== Places I have been ====

  * [[https://europroofnet.github.io/wg6-genoa/|WG6 meeting]] in Genoa, Italy. April 17-18, 2025
  * [[https://hott-uf.github.io/2025/|HoTT/UF 2025]] in Genoa, Italy. April 15-16, 2025
  * [[https://ctta.igrothendieck.org/|Toposes in Mondovì]] in Mondovì, Italy. September 3-6, 2024
  * [[https://smimram.gitlabpages.inria.fr/lhc/journees/2024/01/01/journees.html|LHC days 2024]] in Nantes, France. June 4-5, 2024
  * [[https://europroofnet.github.io/wg6-leuven/|WG6 meeting]] in Leuven, Belgium. April 4-5, 2024
  * [[https://hott-uf.github.io/2024/|HoTT/UF 2024]] in Leuven, Belgium. April 2-4, 2024
  * [[https://indico.math.cnrs.fr/event/9770/|Conférence 2023 du GDR Théorie de l'Homotopie et Applications]] in Lille, France. October 23-27, 2023
  * [[https://sites.uclouvain.be/ct2023/|CT 2023]] in Louvain-la-Neuve, Belgium. July 1-8, 2023
  * [[https://types2023.webs.upv.es/|TYPES 2023]] in Valencia, Spain. June 12–15, 2023. {{ :users:jubert:types-2023.pdf |Here are my slides}}
  * [[https://smimram.gitlabpages.inria.fr/lhc/francois.html|François Métayer days]] in Paris, France. June 8–9, 2023
  * [[https://smimram.gitlabpages.inria.fr/lhc/journees.html|LHC days 2023]] in Paris, France. June 6–7, 2023
  * [[https://personal.psu.edu/mps16/hirsutes2023/gap2023.html|GAP 2023]] in Paris, France. May 22–26, 2023
  * [[https://conferences.cirm-math.fr/2319.html|Type Theory, Constructive Mathematics and Geometric Logic]] near Marseille, France. May 1–5, 2023
  * [[https://europroofnet.github.io/wg6-vienna/|WG6 meeting]] in Vienna, Austria. April 24–25, 2023
  * [[https://hott-uf.github.io/2023/|HoTT/UF 2023]] in Vienna, Austria. April 22–23, 2023. {{ :users:jubert:hott-uf.pdf |Here are my slides}}

==== Unpublished ===

Below are my master's theses:

  * {{ :users:jubert:2022.pdf |Indexed and fibered presentations of presheaves in type theory}} (in English)
  * {{ :users:jubert:2021.pdf |Inequalities in classical and algorithmic information theory}} (in French)

</WRAP>
<WRAP half column> {{:users:jubert:o2zmnyzj_400x400.jpg?300 |A nice picture of me :)}} </WRAP> 
</WRAP>