Emmanuelle Encrenaz-Tiphene

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 :

ma page LIP6

publications sur dblp

profil google scholar



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)

Official Esterel Technologies Academic PartnerAcademic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.