Welcome to my research page !
I am a postdoctoral researcher in the FOCUS team, in Bologna.
Feel free to contact me: first_name dot last_name_here at inria dot fr.
- 9-10 Nov 2016, LL2016 - Linear Logic: interaction, proofs and computation, Lyon
I defended my PhD thesis on April 8.Older "news"