Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Laboratoire d’Informatique de Paris-Nord
A204, Institut Galilée
99 avenue Jean-Baptiste Clément
Phone: +33 1 49 40 28 61
I am maître de conférence (associate professor) at LIPN in the University Paris 13, Sorbonne Paris Cité, working in the Logic, Computation and Reasoning team, more specifically in the specification and verification research axis, with Christine Choppy, Laure Petrucci, Kaïs Klaï and Sami Evangelista.
Keywords: model checking, Verification, distributed and concurrent systems, Timed systems, Parametric Timed Automata, Timed CSP, Parameter synthesis.
I wrote my Ph.D. thesis in the Laboratoire Spécification et Vérification, ENS Cachan, France of the École Normale Supérieure de Cachan, France under the supervision of Laurent Fribourg and Emmanuelle Encrenaz.
Title: An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems [PDF ].
Lazy? A version of my thesis readable in 5 secondes is available here (another version is there).
A list of conferences in formal methods I am interested in.
I attend as often as possible the MeFoSyLoMa seminary (Formal Methods for Software and Hardware).