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
Sorbonne Université, Faculté des Sciences et Ingénierie
Bureau 24-25 408
F-75252 Paris Cedex 05

tel : (33) 1-44-27-20-38
fax : (33) 1-44-27-72-80

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 and security analysis. Between sept. 2005 and aug. 2007, I had a full-time researcher position at LSV.

Links :

my LIP6 homepage

dblp publications

google scholar profile



Teaching (subsequent pages are in French)

Other activities :

Between sept. 2013 and dec. 2017, I was Deputy Director of the Engineering Department of UPMC. Then, between dec. 2017 and dec. 2022, I was Director of this department in Sorbonne University.

Between apr. 2011 and sept. 2014, I headed the ALSOC team at LIP6.