Michaël Rao

Chargé de recherche CNRS au LABRI, Bordeaux
équipe Méthodes Formelles - Logiques, graphes et langages.

Membre du projet ANR blanc GRAAL "Décomposition de graphes et algorithmes".

E-mail: nom@labri.fr (avec nom=Michael.Rao)

Page du séminaire « Graphes et Logiques ».

compt