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 inria.fr
• 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.

Places I have been

• WG6 meeting in Genoa, Italy. April 17-18, 2025
• HoTT/UF 2025 in Genoa, Italy. April 15-16, 2025
• Toposes in Mondovì in Mondovì, Italy. September 3-6, 2024
• LHC days 2024 in Nantes, France. June 4-5, 2024
• WG6 meeting in Leuven, Belgium. April 4-5, 2024
• HoTT/UF 2024 in Leuven, Belgium. April 2-4, 2024
• Conférence 2023 du GDR Théorie de l'Homotopie et Applications in Lille, France. October 23-27, 2023
• CT 2023 in Louvain-la-Neuve, Belgium. July 1-8, 2023
• TYPES 2023 in Valencia, Spain. June 12–15, 2023. Here are my slides
• François Métayer days in Paris, France. June 8–9, 2023
• LHC days 2023 in Paris, France. June 6–7, 2023
• GAP 2023 in Paris, France. May 22–26, 2023
• Type Theory, Constructive Mathematics and Geometric Logic near Marseille, France. May 1–5, 2023
• WG6 meeting in Vienna, Austria. April 24–25, 2023
• HoTT/UF 2023 in Vienna, Austria. April 22–23, 2023. Here are my slides

Unpublished

Below are my master's theses:

• Indexed and fibered presentations of presheaves in type theory (in English)
• Inequalities in classical and algorithmic information theory (in French)