CV

Professor at the Université de Lorraine

Research in the Dedale team of LORIA

  . Formal methods and refinements
  . Development methods and environments
  . Requirements and formal developments 
  . Links between Requirements and Specifications
  . Verification and validation tools
Administration/Recherche 
  . Création et animation équipe de recherche DEDALE, LORIA [1995-2009)
  . Différents projets
    - nationaux (ANR SETIN'06 TACOS)
    - internationaux (coopération franco-tusienne, franco-allemande, franco-belge)  
    - européen (ESPRIT ICARUS)
  . Animation scientifique de la recherche en informatique 
    - comité éditorial de la revue TSI
    - membre comité de programme d'ateliers AFADL depuis sa création en 1997
    - relectrice pour les conférences du domaine
    - membre de comités de programmes de différentes conférences internationales
  . Responsabilités et mandats nationaux ou régionaux
    - Membre élu Conseil Nationaux des Universités CNU 27ème section (2003-2006)
    - Présidence, puis VP CSE Université Nancy 2, 27ème section (1998-2008)
    - Membre nommé de la CSE de l'Universite de Franche-Comte, 27ème section (1998-2009) 
  . Responsabilités dans différentes Agences Nationales (AeRes, ANR, ...)
Administration
 . Vice-présidente du Conseil Scientifique Université de Nancy2 (2006-2009) 
 . Responsable Département de Formation Doctorale Informatique (2007-2009) 
 . Aminatrice Comité Régional des Ecoles Doctorales (2008-2009) 
 . Directice UFR MI, Université Nancy 2 (1994-1999) 
    - création de nouveaux diplomes 
    - formations qualifiantes 
 . Mise en place et responsabilité service campus du Pole Lorrain de gestion