I am an associate professor (maître de conférences) with 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.
Keywords: model checking, Verification, distributed and concurrent systems, Timed systems, Parametric Timed Automata, Parameter synthesis.
- PI of ANR PACS (Parametric Analyses of Concurrent Systems) (2014−2018)
- CNRS-PAN (2015−2016)
- CosyVerif (2012−)
ASE 2016 tool demo,
- ESSS 2015,
SynCoP 2015 (PC chair),
ICFEM 2015 (+ workshop chair),
ICECCS 2015 (+ publicity chair),
ICECCS 2015 doctoral symposium
- FSFMA 2014 (general chair),
SynCoP 2014 (PC chair),
ICECCS 2014 (PC chair),
- ESSS 2013,
FSFMA’13 (PhD session chair),
- Mathias Ramparison (2016−)
- Nguyễn Hoàng Gia (2014−)
- Christopher Makanga (2014)
- Mohamed Mahdi Benmoussa (2013−)
- Taieb Ben Niha (2013)
- Giuseppe Pellegrino (2012−2013)
- Shweta Garg (श्वॆता) (2012)
- Inès Jguirim (2012)
- Romain Soulat (2010−2014)
- Daphné Dussaud (2010)
- Sandeep Grewal (2008)
I have been a research fellow (post-doc) in Prof. Dong Jin Song’s team in the National University of Singapore. I have been working, and keep collaborating, with the PAT model checker team.
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).
I am very proud that my ha-index is 78.
I developed several Web sites such as Breizh Partitions and eNoz.