Brigitte ROZOY

Mathématicienne à l'origine et alors en Avignon, je suis venue à l'informatique via la logique (Stern, Grigorieff) puis la théorie des langages et enfin le parallélisme (Beauquier).
Maître de conférences en informatique à Caen, j'y ai soutenu une thèse d'état sur les modèles du parallélisme (Enjalbert, Beauquier).
Professeur à Orsay depuis 1989, je travaille autour des modèles du parallélisme: traces, ordres partiels, automates concurrents, structures d'événements, que j'utilise également pour la vérification des systèmes répartis (conception et réalisation du simulateur Marrella...).
Je suis actuellement responsable de l'équipe Parallélisme du LRI et présidente du département Enseignement.


Brigitte ROZOY
Université de Paris Sud
Laboratoire de Recherche en Informatique
Bâtiment 490
91 405 Orsay Cedex
tel. 33 (0)1 69 15 66 09
fax 33 (0)1 69 15 65 86
e-mail rozoy@lri.fr


Pour aller plus loin...


Et bientôt...


Mise à jour le 5 mai 1999.
Commentaires et remarques : morin@lri.fr