Marc Lasson

I am a software engineer working at LexiFi in Paris.

In a previous life, I use to work in academia.

From October 2013 to August 2015, I was a post-doc at INRIA in the πr2 team within the PPS laboratory.

Before that, from November, 2012 to November 2013, I worked as a research assistant at the university of Cambridge in the ERC project ECSYM supervised by Glynn Winskel.

Papers

• Canonicity of groupoid laws using parametricity theory (MFPS 2014).
• All derivations of groupoid laws are propositionnally equal (extended abstract, accepted at TYPES 2014).
• Strategies as concurrent processes with Simon Castellan, Jon Hayman and Glynn Winskel (MFPS 2014).
• 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: .
• Phone number: (+33)7 81 86 69 00.

Teaching (in French)