Photo Personnelle

Je suis doctorant à l'Ecole polytechnique, sous la direction de Emmanuel Haucourt et Samuel Mimram. Mon sujet de thèse concèrne (principalement) la géométrie des programmes concurrents. J'ai écrit mon mémoire de M2 sous la supervision d'Olivia Caramello, sur la théorie des modèles topossique. Avant ça, j'ai fait un stage de recherche avec Ambrus Kaposi, dans le cadre du projet Higher Observational Type Theory. Je m'intéresse à essentiellement tout ce qui touche à la théorie des catégorie et ses applications en logique et en informatique théorique. En ce moment, je suis particulièrement obsédé par la théorie des topos et la topologie algébrique dirigée. Mes autres sujets de recherches incluent la théorie des automate, la théorie des modèles, (la sémantique de) la théorie des types, la théorie de l'homotopie (abstraite), etc.

Email : chamoun@lix.polytechnique.fr

Publications

  • Non-Hausdorff manifolds over locally ordered spaces via sheaf theory, avec Emmanuel Haucourt, prépublication, 2025 [hal | arxiv]
  • Internal parametricity, without an interval, avec Thorsten Altenkirch, Ambrus Kaposi et Mike Shulman, POPL 2024 [arxiv | conf]

Présentations

  • Non-Hausdorff manifolds over locally ordered spaces via sheaf theory, Journées LHC 2025 [diapo]

Enseignement

Divers