Home

Publications

Teaching

The Psyche prover

The Ψ project

Dr Stéphane Graham-Lengrand

Chargé de Recherche au CNRS
Chargé d'Enseignement à l'École Polytechnique

Laboratoire d'Informatique de l'X
Alan Turing building
École Polytechnique
91120 Palaiseau, FRANCE

Access

Office:
Telephone: 		2066
+33 (0)1 77 57 80 67
Graham-Lengrand at LIX.Polytechnique.fr

Logic & Foundations of Computer Science

  • Proof-search and computer-aided reasoning
  • Computational interpretations of proofs (Curry-Howard correspondence, realisability)
  • Type systems, type theory, and their models
  • Lambda-calculus, explicit substitutions, functional programming, rewriting