Welcome to my teaching and research page !

I am a Maître de Conférences at Université Aix-Marseille. I teach Computer Science at the Faculté d'Economie et de Gestion and I do research in the LIRICA team of the LIS laboratory.

I used to be a PhD student at IRIF (ex-PPS & LIAFA labs, University Paris 7), then a research assistant in Dundee, and then a postdoctoral researcher in the FOCUS team, in Bologna.

Feel free to contact me: first_name dot last_name_here at univ dash amu dot fr (prénom point nom arobase univ tiret amu point fr).

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.

Older "news"