I am a post-doc Pedeciba at the Logic Group of IMERL, Universidad de la República, in Montevideo, Uruguay.

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

Resumé

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

Previous positions

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.