Bio
French Services
Services for French Organizations

Etablissements universitaires

Depuis janvier 2009, je suis membre du Collège Scientifique EEA de l'Université Paul Sabatier (UPS) de Toulouse.

Dans le passé, j'ai été membre de Commissions de Spécialistes:

  • CS 27ème Section de l'INSA de Toulouse (2004-2006),
  • CS 61ème Section de l'UPS de Toulouse (1998-2001),
  • CS 61-63ème Section de l'INSA de Toulouse (1998-2001)


CNRS

Je suis membre du GDR Génie de la Programmation et du Logiciel (GDR GPL), et plus particulièrement du Groupe MTV2.

Du temps du Département STIC, j'ai animé l'Action Spécifique n°23 "Techniques avancées de tests
des systèmes complexes" (conjointement avec Richard Castanet, LaBRI).

Dans la période 1999-2002, j'ai été membre suppléante de la CAP n°2 du CNRS.


LAAS

Je suis membre du Conseil Scientifique du thème Informatique Critique (IC) du LAAS.

Je suis co-animatrice d'un Groupe "Spécification, Vérification Formelles" impliquant des chercheurs des trois laboratoires toulousains d'informatique: IRIT, LAAS et ONERA. Ce Groupe organise (entre autres) les Journées FAC annuelles.

Dans la période 1999-2000,  j'ai été membre du Conseil de Laboratoire du LAAS.


Autres

Dans la période 2001-2003, j'ai co-animé un Groupe de Travail "Logiciel Libre et Sûreté de Fonctionnement" du Réseau d’Ingénierie de la Sûreté de fonctionnement fondé par Astrium, Airbus, le LAAS, Technicatome et THALES.
Les travaux du Groupe se sont concrétisés par la publication d'un ouvrage, par l'organisation d'une journée de présentation publique des résultats, et par l'organisation d'un Topical Day dans le cadre du 18ème Congrès Mondial de l'IFIP.

Je suis membre du bureau de la section Midi-Pyrénées du Syndicat National des Chercheurs Scientifiques.



This page is maintained

Although not based on SPIP, this page is inspired from the BeeSpip Skeleton LAAS     |     Dependable Computing and Fault Tolerance Group