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.
- ESOP 2017
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"