Bruno Courcelle
From Wikipedia, the free encyclopedia
| Nationalité | |
|---|---|
| Formation | |
| Activités |
| A travaillé pour |
Université de Bordeaux (depuis le ) |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Distinction |
Bruno Courcelle est un mathématicien et informaticien théoricien français, connu pour le théorème de Courcelle en théorie des graphes.
Bruno Courcelle est ancien élève de l'École normale supérieure[1], où il entre en 1968. Il a obtenu son doctorat (thèse d'État) en 1976 à l'université de Lille[2], avec une thèse intitulée Application de la théorie des langages à la théorie des schémas de programmes préparée sous la direction de Maurice Nivat. Chercheur à l'Institut national de recherche en informatique et en automatique, alors dénommé IRIA, il a ensuite rejoint le Laboratoire bordelais de recherche en informatique (LaBRI) à l'université Bordeaux-I, où il est resté pour le reste de sa carrière. Il est membre de l'Institut universitaire de France depuis 2007, membre honoraire depuis sa retraite.
Un atelier en l'honneur de la retraite de Courcelle s'est tenu à Bordeaux en 2012[3],[4].
