Bruno Courcelle
Bruno Courcelle | |
|---|---|
| Citizenship | French |
| Alma mater | French Institute for Research in Computer Science and Automation |
| Known for | Courcelle's theorem |
| Scientific career | |
| Fields | Graph theory, Computer science |
| Institutions | University of Bordeaux |
| Thesis | Application de la théorie des langages à la théorie des schémas de programmes (1976) |
| Doctoral advisor | Maurice Nivat |
Bruno Courcelle is a French mathematician and computer scientist, best known for Courcelle's theorem in graph theory.
Life
[edit | edit source]Courcelle earned his Ph.D. in 1976 from the French Institute for Research in Computer Science and Automation, then called IRIA, under the supervision of Maurice Nivat. He then joined the Laboratoire Bordelais de Recherche en Informatique (LaBRI) at the University of Bordeaux 1, where he remained for the rest of his career.[1] He has been a senior member of the Institut Universitaire de France since 2007.[2]
A workshop in honor of Courcelle's retirement was held in Bordeaux in 2012.[1][3] Courcelle was the first recipient of the S. Barry Cooper Prize of the Association Computability in Europe in 2020.[4] In 2022, Courcelle was awarded the EATCS-IPEC Nerode Prize.[5]
During the COVID-19 pandemic, Courcelle protested against vaccination mandates in France.[6]
Work
[edit | edit source]He is known for Courcelle's theorem, which combines second-order logic, the theory of formal languages, and tree decompositions of graphs to show that a wide class of algorithmic problems in graph theory have efficient solutions.
Notable publications also include:
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
References
[edit | edit source]- ^ a b Bruno Courcelle, text of remarks presented by Maurice Nivat at Courcelle workshop, retrieved 2014-06-24.
- ^ Bruno Courcelle Archived March 15, 2014, at the Wayback Machine, Institut Universitaire de France, retrieved 2014-06-24.
- ^ Bruno's workshop, June 18-20, 2012, LaBRI, Bordeaux, retrieved 2014-06-24.
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Lua error in Module:Official_website at line 94: attempt to index field 'wikibase' (a nil value).
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).