labri

Bruno Courcelle premier récipiendaire du prix S. Barry Cooper

Décerné par l'Association Computabiliy in Europe, en juin 2020, Bruno Courcelle est le premier récipiendiaire du prix S. Barry Cooper.

Ce prix récompense l'ensemble de ses travaux sur la logique du second-ordre monadique appliquée aux graphes structurés de façon arborescente et à la construction d'algorithmes.
La synthèse de ces travaux est notamment publiée dans un livre écrit avec J. Engelfriet.