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.