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

Previously, 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.

Even before, 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.

Contact information


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


All my publications are available on HAL. Some other documents are available on this page.

This page usese nanoc and is hosted by the LIPN.