Next: Responsabilités scientifiques Up: Home Page Previous: Compression de données

Activités chez BULL

J'ai passé deux ans (en mise en disponibilité) à la compagnie BULL où j'ai eu une activité scientifique importante. D'une part, j'ai eu la responsabilité du séminaire de recherches hebdomadaire et d'autre part, j'ai encadré ou coencadré de nombreux chercheurs. J'ai étudié en particulier, en collaboration avec C. Antoine et B. Le Goff, un langage de spécification basé sur les chronogrammes (qui a fait l'objet d'un brevet), dont j'ai précisé de façon rigoureuse la sémantique [76,95]. J'ai pris également la direction de l'équipe qui s'occupait des graphes de décision binaires et la responsabilité d'un projet MRT regroupant le centre de recherches de BULL et les équipes de Sifakis (Grenoble) et Cousot (LIENS), ce qui m'a permis d'enrichir considérablement mon champ de vision.

Conferences Encadrement