I am a post-doc in the pôle Preuves Programmes et Systèmes of the IRIF, financed by the ANR project Rapido.

I work on the semantics of proofs and programs, and more specifically using tools and point of view coming from linear logic, (higher) category theory, realizability and intersection types.

Contact information


In excruciating details in French and with much less details in English.

Previous positions

During the austral 2018 academic year, I was a post-doc Pedeciba at the Logic Group of IMERL, Universidad de la República, in Montevideo, Uruguay. Legend has that I was the first uruguayan post-doc.

In the fall 2017, I was an ATER (attaché temporaire d'enseignement et de recherche, a temporary research and teaching position) at the computer science department of ENS Lyon interacting with the plume team.

Before that, from 2014-2017, I was a member of the Lo♥Ve team, at the LIPN, where I defended my PhD, prepared under the joint supervision of Damiano Mazza and Stefano Guerrini.

This page uses nanoc and is hosted by the LIPN.