Assertion Based Design, Verification & Debug TA Committee

Share it now


FDL 2010
Forum on specification & Design Languages

September 14-16, 2010
Southampton, UK


ABD TA Chair:

Dominique Borrione, TIMA


Dominique Borrione has been a Professor at the University of Grenoble since 1988. Since January 2007, she is the director of TIMA Laboratory. From the University of Grenoble, she received the MSc in Computer Science in 1972, the PhD in Computer Science in 1976, and the Thèse d'Etat in 1981.Before joining TIMA, she was director of the ARTEMIS Laboratory from 1991 to 1995. She was a team leader at ARTEMIS (1988- 1995), then at TIMA (1996-2006). From Dec. 1983 to August 1988, she was a Professor at the University of Marseille.She developed the theme of formal methods in hardware design, particularly taking as input designs described in VHDL. Most of her research has been supported by contracts, through industrial and academic cooperative projects in the context of the ESPRIT and MEDEA European programs.Professor Borrione has published over 90 refereed journal papers, international refereed conference papers, and book chapters. She has been a member of numerous working groups, and program committees of international conference and workshop series (CHDL, CHARME/FMCAD, DATE, SBCCI, VLSI-SOC). She was program chair of CHDL'81, DATE'99, CHARME'05, and FDL'09.

 

ABD TA Committee
El Mostapha Aboulhamid, U Montreal
Valeria Bertacco, University of Michigan
Claudia Blank, OneSpin Solutions
Slava Bulach Robert, Bosch
Eduard Cerny, Synopsys
Emmanuelle Encrenaz, University Paris 6
Harry Foster, Mentor Graphics
Franco Fummi, University of Verona
Marcello Lajolo, NEC Laboratories
Pierre Laurence, University of Grenoble
Ashraf Salem, Ain Shams University
Pablo Sanchez, U Cantabria  
Julien Schmaltz, Radboud U Nijmegen

 

Share it now