Photo Personnelle

I am a PhD student at Ecole polytechnique, under the supervision of Emmanuel Haucourt and Samuel Mimram, working (mainly) on the geometry of concurrent programs. Before this, I did my master thesis with Olivia Caramello, working on topos-theoretic model theory, and a research internship with Ambrus Kaposi, working on Higher Observational Type Theory. I am interested in essentially anything related to category theory and its application to logic and computer science. At the moment, I am particularly obsessed with topos theory and directed algebraic topology. My other topics include automata theory, model theory, (semantics of) type theory, (abstract) homotopy theory, etc.

Email : chamoun@lix.polytechnique.fr

Publications

  • Non-Hausdorff manifolds over locally ordered spaces via sheaf theory, with Emmanuel Haucourt, preperint, 2025 [arxiv]
  • Internal parametricity, without an interval, with Thorsten Altenkirch, Ambrus Kaposi and Mike Shulman, POPL 2024 [arxiv | conf]

Talks

Teaching

Misc