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.
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).
- Apr 22, 2019: talk at the Kobayashi Group, Tokyo
- Apr 24, 2019: talk at the Hasuo Group, Tokyo
The paper Intuitionistic Non-Normal Modal Logics: A general framework (joint work with Tiziano Dalmonte and Nicola Olivetti) is online.
The paper On the Termination Problem for Probabilistic Higher-Order Recursive Programs (authors: Naoki Kobayashi, Ugo Dal Lago, Charles Grellois) has been accepted to LICS 2019. Preprint.
The paper Probabilistic Termination by Monadic Affine Sized Typing (joint work with Ugo Dal Lago) has been published by ACM TOPLAS.Older "news"