Big Congratulations to Bruno Courcelle for the first S. Barry Cooper Prize

“The 2020 S. Barry Cooper Prize is awarded to Bruno Courcelle for his work on the definability of graph properties in Monadic Second Order Logic, through a sequence of seminal papers and a book (joint with Joost Engelfriet). This forms an outstanding example of theory building, bringing together logic, computability, graph grammars, and various notions […]

Big Congratulations to Bruno Courcelle for the first S. Barry Cooper Prize Read More »