Bruno Courcelle - Bruno Courcelle

Bruno Courcelle
Státní občanstvífrancouzština
Alma materFrancouzský institut pro výzkum v informatice a automatizaci
Známý jakoCourcelleova věta
Vědecká kariéra
PoleTeorie grafů, Počítačová věda
InstituceUniversity of Bordeaux
TezeAplikace jazykových programů a programových schémat programů (1976)
Doktorský poradceMaurice Nivat

Bruno Courcelle je Francouz matematik a počítačový vědec, nejlépe známý pro Courcelleova věta v teorie grafů.

Život

Courcelle získal titul Ph.D. v roce 1976 z Francouzský institut pro výzkum v informatice a automatizaci, pak pod dohledem volala IRIA Maurice Nivat. Poté se připojil k Laboratoire Bordelais de Recherche en Informatique (LaBRI) na University of Bordeaux, kde zůstal po zbytek své kariéry.[1] Byl vedoucím členem Institut Universitaire de France od roku 2007.[2]

V roce 2012 se v Bordeaux uskutečnil workshop na počest odchodu Courcelle do důchodu.[1][3]

Práce

Je známý pro Courcelleova věta, který kombinuje logika druhého řádu, teorie formální jazyky, a stromové rozklady grafů ukázat, že široká třída algoritmických problémů v teorie grafů mít efektivní řešení.

Reference

  1. ^ A b Bruno Courcelle, text poznámek předložený Maurice Nivat na Courcelle workshopu, vyvoláno 2014-06-24.
  2. ^ Bruno Courcelle Archivováno 15. března 2014, v Wayback Machine, Institut Universitaire de France, vyvoláno 2014-06-24.
  3. ^ Brunoův workshop, 18. – 20. Června 2012, LaBRI, Bordeaux, vyvoláno 2014-06-24.

externí odkazy