Welcome to my research page !

I am a postdoctoral researcher in the FOCUS team, in Bologna.

I used to be a PhD student at IRIF (ex-PPS & LIAFA labs, University Paris 7), and a research assistant in Dundee.

My PhD advisors were Paul-André Melliès and Olivier Serre. I defended on April 8, 2016.

Feel free to contact me: first_name dot last_name_here at inria dot fr.

  • May 12, 2017 : LIP, ENS Lyon

My paper Probabilistic Termination by Monadic Affine Sized Typing (joint work with Ugo Dal Lago) has been accepted to ESOP 2017. The long version is here.

I defended my PhD thesis on April 8.

Older "news"