Bruno Courcelle

- Professeur
- Université de Bordeaux
- Department
- M2F
- Team
- Fondements logiques du calcul
- Administrative function
- Emérite
- Personal page
- http://www.labri.fr/perso/courcell/ActSci.html
- E-mail address
- bruno.courcelle
labri.fr
- Office
- 117
- Tel
- +33 (0)5 40 00 60 86
Research
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
Programme Committee & Organizing Committee
LATA (Language and Automata Theory and Applications) 2012
CAI (Conference of Algebraic Informatics) 2013
Excerpt from 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.