Marc Lasson

I am now working at the university of Cambridge in the ERC project ECSYM supervised by Glynn Winskel. Before I was a phd student under the supervision of Patrick Baillot and Olivier Laurent in the friendly team plume.

Ph.D thesis

Papers

• Parametricity in an impredicative sort with Chantal Keller, CSL 2012. We also develop a coq plugin.
• The Refined Calculus of Inductive Construction: Parametricity and Abstraction, short presentation at LICS 2012, whith Chantal Keller.
• Realizability and parametricity in Pure Type Systems, with Jean-Philippe Bernardy, FOSSACS 2011. Preprint and slides.
• Controlling program extraction in light logics, TLCA 2011.

Contact

• Mail: [javascript protected email address].
• Phone number: (+33)4 72 72 85 82.
• Address:
  • Équipe Plume
  • Laboratoire de l'Informatique du Parallélisme (LIP)
  • ENS Lyon
  • 46, allée d'Italie
  • 69364 Lyon cedex 07
  • France

Teaching (in French)