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.
Julio Herrera y Reissig 565
In excruciating details in French and with much less details
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.