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 Jul 2025] I will attend the ESSLLI Summer School in Bochum.
- Jun 2025: I gave a talk about our preprint "A Type Theory for Comprehension Categories with Applications to Subtyping" at TYPES in Glasgow. [slides, extended abstract]
- Jun 2025: I gave a talk about our ongoing work on Semantics for the Extrinsic View of Typing at LHC Days in Palaiseau. [slides]
- Apr 2025: I gave 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 Midland's 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
Extended Abstracts
-
A Type Theory for Comprehension Categories with Applications to Subtyping, TYPES in Glasgow, June 2025
with Niels van der Weide, Benedikt Ahrens and Paige Randall North
Talks
- Categorical Semantics for the Extrinsic View of Typing
-
A Type Theory for Comprehension Categories with Applications to Subtyping
- TYPES in Glasgow, June 2025 [slides, extended abstract]
- EuroProofNet's WG6 meeting in Genoa, April 2025 [slides]
- Proofs and Algorithms seminar at École Polytechnique, March 2025 [slides]
- Programming Language seminar at TU Delft, March 2025 [slides]
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)