Maître de conférences HDR (Associate Professor) à l'Université Pierre et Marie Curie
Membre
de l'équipe ALSOC
(Architecture et Logiciel des Systèmes intégrés
sur Puce)
Laboratoire d'informatique de Paris VI : LIP6
Université Pierre et Marie Curie : UPMC
Bureau 24-25 408
F-75252 Paris Cedex 05
tel
: (33) 1-44-27-20-38
fax : (33) 1-44-27-72-80
Currently (since sept. 2013), I am Deputy Director of the Engineering Faculty of UPMC.
Links :
Research Interests : Formal Verification of Hardware designs, Design methods easing the verification, Data Decision Diagram for Symbolic Model Checking, Component Abstraction, Verification of Timed Models, Formal methods for robustness analysis.
Related Publications
Past projects : VALMEM, FME3, SIMOP
Between apr. 2011 and sept. 2014, I headed the ALSOC team at LIP6.
Between sept. 2005 and aug. 2007, I had a full-time researcher position at LSV.
Teaching (subsequent pages are in French)
Academic
partner of Esterel Technologies,
the provider of model-based solutions for DO-178B
and IEC 61508
safety-critical
systems.