Dr Stéphane Lengrand
Chargé de Recherche au CNRS
Chargé d'Enseignement à l'École Polytechnique

Laboratoire d'Informatique de l'X,
École Polytechnique

Equipes & Typical

route de Saclay
91128 Palaiseau Cedex, FRANCE

Office:
Telephone:
Fax: 		412-24
+33 (0)1 69 33 40 67
+33 (0)1 69 33 40 44
Lengrand at LIX.Polytechnique.fr


 Publications

 Teaching

 Curriculum Vitae: Education

 My page at The Mathematics Genealogy Project

 Some pictures

The Ψ project - Proof Search in Interaction (ANR Jeunes Chercheurs)

Workshop in honour of Roy Dyckhoff. 18-19 November 2011

Logic & Theoretical Computer Science

·  Sequent calculus, proof-nets, classical logic, linear logic

·  Curry-Howard correspondence and type theory

·  Lambda-calculus (especially with explicit substitutions), functional programming and rewriting