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 de la Licence-Maitrise informatique d'Orsay.

Pour aller plus loin...

• La page de l'équipe Parallélisme
• La liste des publications de l'équipe.
• La page d'annonce des séminaires de l'équipe.

Et bientôt...

• La liste de mes publications.
• Quelques papiers récents disponibles sur le web.