Rodolphe Lepigre (

Postdoc - Inria (Deducteam), LSV, CNRS, Université Paris-Saclay

About me

I was a PHD student at the LAMA (LAboratoire de MAthématiques, Université Savoie Mont Blanc, France), in the LIMD team. My advisors were Christophe Raffalli and Pierre Hyvernat.

I am now a postdoc at Inria (Deducteam).


My research interests include:

  • Type theory
  • Classical realizability
  • Logic
  • Abstract machines
  • Compilers
  • Functional programming

The page of my PhD thesis

Documents, slides and tools:

  • Subtyping-Based Type-Checking for System F with Induction and coinduction (PDF draft).
    With Christophe Raffalli, 2016.
  • A Classical Realizability Model for a Semantical Value Restriction (PDF draft).
    To appear in Volume 9632 of the Lecture Notes in Computer Science series.
    To be presented at the European Symposium on Programming (ESOP) 2016.
  • Mêler combinateurs, continuations et EBNF pour une analyse syntaxique efficace en OCaml (PDF)
    Avec Christophe Raffalli, 2014.
  • DeCaP, a parser combinator library and syntax extension mecanism for OCaml written with Christophe Raffalli during the summer 2014.
  • Realizability, Testing and Game Semantics, a talk I gave at GaLoP 2014 (slides, draft)
  • Patoline, a modern digital typesetting system

Contact information

  • E-mail:
  • Office: Bureau RH-B-107, LSV, CNRS & ENS de Cachan, 61, avenue du Président Wilson, 94235 CACHAN Cedex, France