Next: Publications Up: Home Page Previous: Activités chez BULL

Responsabilités scientifiques

• Directeur du LITP de janvier 1994 à octobre 1997.

• Maître de Conférence à temps partiel à l'école Polytechnique depuis 1992.

• Rédacteur en Chef de la revue Informatique Théorique et Applications de 1982 à 1991. Membre du Comité de rédaction depuis 1991.

• Membre du Comité de rédaction de deux revues américaines (International Journal of Algebra and Computation et Semigroup Forum).

• Membre du jury de l'agrégation de mathématiques pour l'option Mathématiques de l'Informatique (concours 1985, 1986 et 1987).

• Membre du jury du concours d'entrée à l'Ecole Normale Supérieure, section Mathématiques pour l'épreuve Mathématiques et Informatique (concours 1990).

• Membre du Comité de Programme de l'ICALP 97, du STACS 1986 et rapporteur occasionnel d'une douzaine de revues scientifiques.

• Responsable du projet Automate au sein d'Algomots (Greco de Programmation).

• Co-responsable du projet européen ESPRIT-BRA Algebraic and Syntactic Methods in Computer Science (1988-1991)

• Responsable de l'opération Automates au sein du PRC Mathématiques et Informatique (1990).

• Membre de l'EATCS (European Association of Theoretical Computer Science)

• Membre du Comité d'habilitation des DEA (1990-1991)

• Membre du Conseil Supérieur des Universités (23ème section). (1987)

• Membre de la section 07 (08 à l'époque) du Comité National de la Recherche Scientifique (de 1987 à 1991).

• Organisateur de la seixième Ecole de Printemps d'Informatique Théorique sur le thème Propriétés Formelles des Automates Finis et Applications.