I am a post-doctoral researcher at the Max-Planck Institute for Software Systems in Sarrebrucken, under the supervision of Joël Ouaknine).
I used to be a PhD student under the co-supervision of Nathalie Bertrand at IRISA Rennes (Team SUMO) and of Serge Haddad at ENS Cachan (LSV, team MExICo). My PHD focuses on controlling information in probabilistic systems.
See my curriculum vitæ for more informations.
My internship reports : L3 , M1 et M2
I defended my Ph.D. thesis on the 24th September 2018. You can find more details here.