labri

Bruno Courcelle receives the S. Barry Cooper Award

Prize awarded in June 2020, to Bruno Courcelle, to reward work offering "a broad understanding and fundamental study of calculability, thanks to excellent results and the development of a theory intended to last, to exceptional services rendered to the community concerned or a combination of these elements.

Bruno Courcelle receives this award for his work on the logic of the monadic second order applied to tree-structured graphs and the construction of algorithms, and in particular for the synthesis of this work published in a book written with J. Engelfriet.