Samuel MimramI am full professor in the Cosynus team of the proofs and algorithms pole at the LIX laboratory of École Polytechnique. I am also president of the CS department and head of the Cosynus team.

My research interests lie in the following topics: denotational semantics (game semantics in particular), concurrency, rewriting theory, category theory, linear logic, programming languages, algebraic topology, and hybrid systems. You are advised to have a look at my publications for details.

Before that, I used to work in the LIST laboratory at CEA and did a PhD thesis in the PPS team of Université Paris Diderot. You can have a look at my curriculum vitæ for more details.

You can reach me via

My affiliation is LIX, CNRS, École polytechnique, Institut Polytechnique de Paris, 91120 Palaiseau, France.

Latest news

PhD students