FrançaisEnglish

Cécile Braunstein

Photo de Cécile Braunstein

Je suis maître de conférence au LIP6 au sein de l'équipe ALSOC du département System on Chip de l'UPMC.

J'ai soutenu ma thèse en 2007, ma thèse a été dirigée par Emmanuelle Encrenaz. En 2008, j'ai effectué un stage post-doctoral dans le goupe d'architecture des ordinateurs (AGRA) de l'université de Brême (Allemagne).

J'effectue mes enseignements au sein de l'école d'ingénieur universitaire Polytech'Paris-UPMC. Je suis actuellement co-coordinatrice de l'année 3 de la spécialité "Electronique-Informatique pour les sytèmes embarqués" (ELI).

Mes travaux de recherches portent principalement sur l'utilisation de méthodes formelles pour le hardware. Que ce soit pour la vérification : méthodes de conception facilitant la vérification, vérification compositionnelles par abstraction ; pour l'étude la robustesse des composants au niveau RTL ; ou l'aide au debug de circuit.

University of Paris VI, Pierre & Marie Curie (UPMC),
Laboratoire LIP6-SoC
4, Place Jussieu, 75252 Paris Cedex 05, France
Phone: 33-1-44 27 20 38
Fax: 33-1-44 27 72 80