about me

PhD student at LIPN

supervisors: Etienne André & Didier Lime

I am a PhD student since September 2016 (expected Summer 2019) funded by ANR PACS project. I currently work in the LoVe team of the LIPN, Université Paris 13, member of Université Sorbonne Paris Cité. Prior to that, I did my MSc research internship at LS2N, École Centrale de Nantes in the STR team.

I am mostly interested in parametric model-checking and particularly in the study of (un)decidability TCTL problems for subclasses of parametric timed automata, the application of these theoretical results to risk management through extensions of attack trees. Another research interest is the study of hybrid systems.