Bruno Courcelle

Bruno Courcelle
Professeur
Université de Bordeaux
Département
M2F
Équipe
Fondements logiques du calcul
Fonction administrative
Emérite
Page personnelle
http://www.labri.fr/perso/courcell/ActSci.html
Adresse E-mail
bruno.courcelle[at]labri.fr
Bureau
117
Tel
+33 (0)5 40 00 60 86

Recherche

Décompositions de graphes et descriptions des graphes finis et infinis
par des expressions algébriques, finies et infinies
Expression de propriétés de graphes en logique du second-ordre monadique
Algorithmes efficaces de vérification fondés sur la logique et les décompositions


Collaborations internationales : Allemagne, Pays-Bas, Israël, Corée du Sud
France : Projet de l'ANR sur les algorithmes d'énumération des configurations dans les graphes (2015-2019) avec les laboratoires de Metz, Orléans et Clermont-Ferrand.

Membre senior IUF de 2007 à 2012

Comité de programme & Comité d'organisation

LATA (Language and Automata Theory and Applications) 2012
CAI (Conference of Algebraic Informatics) 2013

Extrait de publications