Since 2024: research fellow at Heriot Watt University in Edinburgh. I am working with Radu Mardare.
2023 to 2024: postdoctoral researcher at McGill University (Montréal)
funded by a CREATE grant for the INTER-MATH-AI project and by NSERC
2021 to 2023: postdoctoral researcher at McGill University working in collaboration with the GRAAL team at Laval University (Québec)
funded by a scholarship from IVADO (Quebec organization for research and training in Articial Intelligence) through the DEEL project (international consortium between several industrial partners and universities) funded by the Canada First Excellence Research Fund
2015 to 2021: PhD in Computer Science at McGill University under the supervision of Prakash Panangaden and Linan Chen
Title of thesis: Behavioural Equivalences for Continuous-Time Markov Processes
2012 to 2013: Master in theoretical Mathematics at University Paris 7
2010 to 2012: Master in theoretical computer science (MPRI: Master Parisien de recherche en informatique)
2008 to 2012: École Centrale Paris