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

• Email: najmaei@lix.polytechnique.fr
• Email: nioosha.naj@gmail.com
• LinkedIn: Niyousha Najmaei
• GitHub: niyoushanajmaei

News

• [in Jun 2025] I will give a talk at TYPES in Glasgow.
• [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]
• Apr 2025: I attended 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

• A Type Theory for Comprehension Categories with Applications to Subtyping
  • Programming Languages Seminar at TU Delft, March 2025
  • Proofs and Algorithms Seminar at École Polytechnique, March 2025

TA Experience

• Machine Learning (Spring 2025)
  • BSc course at École Polytechnique
• Logic and Proofs (Fall 2024)
  • BSc course at École Polytechnique
• Category Theory for Programmers (Spring 2024)
  • MSc course for the Computer Science program at Delft University of Technology
• Analysis of Concurrent and Distributed Programs (Spring 2024)
  • MSc course for the Computer Science program at Delft University of Technology
• Introduction to Quantum Computer Science (Spring 2023 and Spring 2024)
  • BSc course for the Computer Science program at Delft University of Technology
• Information Theory for QIST (Fall 2023)
  • MSc course for the Quantum Information Science and Technology program at Delft University of Technology
  • Assisted in developing the course material.
• Computer Science for QIST (Fall 2023)
  • MSc course for the Quantum Information Science and Technology program at Delft University of Technology
• Security and Cryptography (Fall 2023)
  • MSc course for the Computer Science program at Delft University of Technology
• Deep Learning (Fall 2023)
  • BSc course for the AI minor program at Delft University of Technology
• Introduction to Python Programming (2023-2024)
  • Online MOOC at Delft University of Technology
• Algebra and Cryptography (Spring 2023)
• BSc course for the Computer Science program at Delft University of Technology
• Algorithms and Data Structures (Fall 2021)
• BSc course for the Computer Engineering program at Polytechnic University of Turin
• Algorithms and Programming (Fall 2021)
• BSc course for the Computer Engineering program at Polytechnic University of Turin
• Introduction to Computer Science (Fall 2021)
• BSc course for the Computer Engineering program at Polytechnic University of Turin

CV

Education

• PhD in Computer Science, École Polytechnique, France (2024 - Present)
• Advisor: Ambroise Lafont, Thesis director: Benjamin Werner
• M.Sc. in Computer Science, Delft University of Technology, the Netherlands (2022 - 2024)
• Thesis: The internal language of comprehension categories (Grade: 9/10), Available here, Advisor: Benedikt Ahrens
• Graduated cum laude (GPA: 8.6/10)
• Recipient of QuTech scholarship
• B.Sc. in Computer Engineering, Polytechnic University of Turin, Italy (2019 - 2022)
• GPA: 110/110 cum laude

Experience

• Teaching Assistant
• See the teaching section.

• 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)