I am full professor in the Cosynus team of the proofs and algorithms pole at the LIX laboratory of École polytechnique which is part of IP Paris. 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

• mail: samuel.mimram@polytechnique.edu
• phone: +33 1 77 57 80 21
• postal mail:
  École Polytechnique
  Laboratoire d’informatique (LIX)
  Bâtiment Alan Turing
  1 rue Honoré d’Estienne d’Orves
  CS35003 91120 Palaiseau Cedex, France
• office number: 2162

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

Latest news

• 21 July 2025: in the jury of the PhD thesis of Thomas Jan Mikhail

• 15 July 2025: participating to FSCD

• 04 July 2025: in the jury of the PhD thesis of Luc Chabassier

• 27 June 2025: in the jury of the PhD thesis of Diana Kessler

• 02 June 2025: Hugo Salou is starting an internship

• 19 May 2025: William Hasley is starting an internship