Niyousha Najmaei

About Me

I am a PhD student in the Partout team of LIX at École Polytechnique in France. I work on semantics of type theories with Ambroise Lafont.

Before this, I did my master's at Delft University of Technology in the Netherlands. For my master's thesis I worked with Benedikt Ahrens on internal language of comprehension categories. You can find my master's thesis here.

I am interested in:

  • Type theories and their categorical semantics
  • Logic
  • Homotopy type theory and univalent foundations

I prefer They/Them pronouns, but She/Her works as well.

Contact and Other Links

News

  • [in Apr 2025] I will give a talk about our preprint "A Type Theory for Comprehension Categories with Applications to Subtyping" at EuroProofNet's WG6 meeting in Genoa. [slides]
  • [in Apr 2025] I will attend the Midlands Graduate School in Sheffield.
  • Mar 2025: I gave the previous talk also at Proofs and Algorithms seminar at École Polytechnique. [slides]
  • Mar 2025: I gave a talk titled "A Type Theory for Comprehension Categories with Applications to Subtyping" at the Programming Language seminar at TU Delft. [slides]
  • Mar 2025: Our Preprint titled "A Type Theory for Comprehension Categories with Applications to Subtyping" is on arxiv:2503.10868

Publications and Preprints

  • A Type Theory for Comprehension Categories with Applications to Subtyping

    with Niels van der Weide, Benedikt Ahrens and Paige Randall North
    arxiv:2503.10868

Talks

TA Experience

CV

Education

Experience

  • Machine Learning Intern, Zero11 srl, Italy (2021)
    • Automating the generation of product descriptions of an e-commerce platform with open-source Large Language Models.

Other activities

  • Member of the organising team and mentor of Sharif Mathematics Summer School, Sharif University of Technology, Iran (2019)
  • Silver medal in Iran's National Physics Olympiad (2017)