Bruno Courcelle
{{short description|French mathematician and computer scientist}}
{{Infobox scientist
| name = Bruno Courcelle
| native_name =
| native_name_lang =
| image =
| image_size =
| alt =
| caption =
| birth_date =
| birth_place =
| death_date =
| death_place =
| death_cause =
| resting_place =
| resting_place_coordinates =
| other_names =
| residence =
| citizenship = French
| nationality =
| fields = Graph theory, Computer science
| workplaces = University of Bordeaux
| patrons =
| education =
| alma_mater = French Institute for Research in Computer Science and Automation
| thesis_title = Application de la théorie des langages à la théorie des schémas de programmes
| thesis_url =
| thesis_year = 1976
| doctoral_advisor = Maurice Nivat
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for = Courcelle's theorem
| influences =
| influenced =
| awards =
| author_abbrev_bot =
| author_abbrev_zoo =
| spouse =
| partner =
| children =
| signature =
| signature_alt =
| website =
| footnotes =
}}
Bruno Courcelle is a French mathematician and computer scientist, best known for Courcelle's theorem in graph theory.
Life
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. He has been a senior member of the Institut Universitaire de France since 2007.[http://iuf.amue.fr/author/bcourcelle/ Bruno Courcelle] {{webarchive |url=https://web.archive.org/web/20140315055625/http://iuf.amue.fr/author/bcourcelle/ |date=March 15, 2014 }}, Institut Universitaire de France, retrieved 2014-06-24.
A workshop in honor of Courcelle's retirement was held in Bordeaux in 2012.[http://bc12.labri.fr/nivat-courcelle.pdf Bruno Courcelle], text of remarks presented by Maurice Nivat at Courcelle workshop, retrieved 2014-06-24.[http://bc12.labri.fr/ Bruno's workshop, June 18-20, 2012, LaBRI, Bordeaux], retrieved 2014-06-24. Courcelle was the first recipient of the S. Barry Cooper Prize of the Association Computability in Europe in 2020.
{{cite web
| url = https://www.acie.eu/2020/06/03/2020-s-barry-cooper-prize-awarded-to-bruno-courcelle/
| title = Association CiE website: 2020 S. Barry Cooper Prize awarded to Bruno Courcelle
| last =
| first =
| date =3 June 2020
| website =
| publisher =
| access-date = 4 Aug 2022
| quote = }} In 2022, Courcelle was awarded the EATCS-IPEC Nerode Prize.
{{cite web
| url = https://www.eatcs.org/index.php/component/content/article/1-news/2921-eatcs-ipec-nerode-prize-2022
| title = EATCS-IPEC Nerode Prize
| last =
| first =
| date =
| website =
| publisher =
| access-date = 4 Aug 2022
| quote = }}
During the COVID-19 pandemic, Courcelle protested against vaccination mandates in France.{{Cite web|last=Amiel|first=Sandrine|date=2021-07-26|title=Who are France's anti-vaccine rule protesters and what do they want?|url=https://www.euronews.com/2021/07/26/who-are-france-s-anti-vaccine-rule-protesters-and-what-do-they-want|access-date=2021-08-09|website=euronews|language=en}}
Work
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:
- {{cite journal | author=Bruno Courcelle | title=Fundamental Properties of Infinite Trees | journal=Theoretical Computer Science | volume=25 | number= | pages=95–169 | year=1983 }}
- {{cite book | author=Bruno Courcelle | chapter=Recursive Applicative Program Schemes | pages=459–492 | isbn=0-444-88074-7 | editor=Jan van Leeuwen | editor-link=Jan van Leeuwen | title=Formal Models and Semantics | publisher=Elsevier | series=Handbook of Theoretical Computer Science | volume=B | year=1990}}
- {{cite conference | author=Bruno Courcelle | chapter=Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas (invited lecture) | pages=90–91 | editor1=Paliath Narendran |editor2= Michaël Rusinowitch | title=Rewriting Techniques and Applications, 10th Int. Conf., RTA-99 | series=LNCS | volume=1631 | publisher=Springer-Verlag | year=1999}}
References
{{reflist}}
External links
- {{Official website}}
{{Nerode Prize laureates}}
{{Authority control}}
{{DEFAULTSORT:Courcelle, Bruno}}
Category:Year of birth missing (living people)
Category:French mathematicians