Yorgo CHAMOUN

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.