Jump to content

Bruno Courcelle

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Simeon (talk | contribs) at 23:27, 16 December 2020 (Importing Wikidata short description: "French mathematician and computer scientist" (Shortdesc helper)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Bruno Courcelle
CitizenshipFrench
Alma materFrench Institute for Research in Computer Science and Automation
Known forCourcelle's theorem
Scientific career
FieldsGraph theory, Computer science
InstitutionsUniversity of Bordeaux
Thesis Application de la théorie des langages à la théorie des schémas de programmes  (1976)
Doctoral advisorMaurice Nivat

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, 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]

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.

References

  1. ^ a b Bruno Courcelle, text of remarks presented by Maurice Nivat at Courcelle workshop, retrieved 2014-06-24.
  2. ^ Bruno Courcelle Archived March 15, 2014, at the Wayback Machine, Institut Universitaire de France, retrieved 2014-06-24.
  3. ^ Bruno's workshop, June 18-20, 2012, LaBRI, Bordeaux, retrieved 2014-06-24.