Bruno Courcelle (Q17305808)
Aller à la navigation
Aller à la recherche
mathématicien et informaticien français
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | Bruno Courcelle |
mathématicien et informaticien français |
|
| anglais | Bruno Courcelle |
French mathematician and computer scientist |
Déclarations
20e siècle
0 référence
2 références
1 référence
0000-0002-5545-8970.xml
2 décembre 2015
10 novembre 2023
S. Barry Cooper Prize anglais
2020
The 2020 S. Barry Cooper Prize is awarded to Bruno Courcelle for his work on the definability of graph properties in Monadic Second Order Logic, through a sequence of seminal papers and a book (joint with Joost Engelfriet). This forms an outstanding example of theory building, bringing together logic, computability, graph grammars, and various notions of graph width (tree-width, clique-width and rank-width) and opening new avenues in our understanding of graph structure theory and the computability and complexity of graph algorithms. (anglais)
Identifiants
1 référence
1 référence
Liens de site
Wikipédia(2 entrées)
- enwiki Bruno Courcelle
- frwiki Bruno Courcelle