I am a professor in (and head of) the Cosynus team at the LIX laboratory of École Polytechnique.

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@lix.polytechnique.fr
• telephone: +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

Latest news

• 16 December 2019: in the PC of SYCO 6
• 16 October 2019: organizing journées LHC in Lyon
• 20 September 2019: starting a course about proof theory and practice
• 05 September 2019: in the PC of SYCO 5 / STRINGS 3
• 24 June 2019: two articles accepted at the LICS 2109 conference
• 22 May 2019: in the PC of the fourth SYCO symposium