CV

Emeritus Professor at the Université de Lorraine

Research in the Mosel-Veridis team of LORIA

  . Formal Specifications, Refinement
  . Requirements and formal developments 
  . Links between Requirements and Specifications
  . Verification and Validation during the Sotware Development Process
  . Development Patterns
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-2009)
    - 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 diplômes (DU/DESS/Master2 II avec Belgique et Luxembourg)
    - formations qualifiantes 
 . Mise en place et responsabilité service campus du Pôle Lorrain de gestion