I am post-doc in the PARKAS (INRIA / ENS) team, working on Zelus, a synchronous language for programming embedded softwares and their physical environments.

I did my PhD in the PPS (Univ. Paris Diderot) team, under the supervision of Roberto Amadio and Patrick Baillot. The thesis is entitled Implicit Complexity in Concurrent Lambda-Calculi.

Research papers:

• Indexed realizability for bounded-time programming with references and type fixpoints, APLAS'12, pdf
  with Aloïs Brunel.

• A polynomial time λ-calculus with multithreading and side effects, PPDP'12, pdf

• An elementary affine λ-calculus with multithreading and side effects, TLCA'11
  with Roberto M. Amadio.
  Springer,Technical Report.
  Presentation given at CHOCO party.

• An affine-intuitionistic system of types and effects: confluence and termination
  with Roberto M. Amadio and Patrick Baillot.
  Technical Report, December 2009.
  A presentation of this work was given at LOLA 2010.

Do you like glycojengas?