Education

Full professor with Sorbonne Paris Nord

I have been from 2022 to 2025 full professor with Université Sorbonne Paris Nord, member of the SAFER research team of LIPN.

Full professor with Université de Lorraine

I have been from 2019 to 2022 full professor with Université de Lorraine, member of the VeriDis research team of LORIA.

Associate professor with Université Paris 13

I have been from 2011 to 2019 an associate professor in the LoVe team of LIPN with Sorbonne Paris Nord (formerly "Paris 13").

Post-doctoral activity

I have been from December 2010 to August 2011 a research fellow (post-doc) in Prof. Dong Jin Song (董劲松)’s team in the National University of Singapore.

Ph.D. thesis

I wrote my Ph.D. thesis from September 2007 to December 2010 in the Laboratoire Spécification Vérification of the École Normale Supérieure de Cachan under the supervision of Laurent Fribourg and Emmanuelle Encrenaz.

Title: An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems [📄 PDF 🏴󠁧󠁢󠁥󠁮󠁧󠁿].