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
