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
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
- Bruno Courcelle. Unfoldings and Coverings of Weighted Graphs. Fundamenta Informaticae, In press, 1, pp.1-47.
- Bruno Courcelle. On regular trees defined from unfoldings and coverings. 2023.
- B Courcelle, Irène A. Durand. On using SAT solvers for graph computations. 2022.
- Bruno Courcelle. Induced betweenness in order-theoretic trees. Discrete Mathematics and Theoretical Computer Science, 2022, vol. 23 no. 2, special issue in honour of Maurice Pouzet,
- Bruno Courcelle. Betweenness of partial orders. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2020, 54, pp.7.