I am a post-doc in the pôle Preuves Programmes et
Systèmes of the
IRIF, financed by the ANR project
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.
Bâtiment Sophie Germain
8 place Aurélie Nemours
In excruciating details in French and with much less details
During the austral 2018 academic year, I was a post-doc
Pedeciba at the Logic
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
This page uses nanoc
and is hosted by the LIPN.