Bruno Courcelle الإنجليزية (Q2654799)
French mathematician and computer scientist الإنجليزية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
لا يوجد وصف |
|
الإنجليزية | Bruno Courcelle |
French mathematician and computer scientist |
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
sex or gender الإنجليزية
occupation الإنجليزية
given name الإنجليزية
official website الإنجليزية
DBLP author ID الإنجليزية
VIAF ID الإنجليزية
ISNI الإنجليزية
GND ID الإنجليزية
doctoral advisor الإنجليزية
notable work الإنجليزية
date of birth الإنجليزية
family name الإنجليزية
country of citizenship الإنجليزية
field of work الإنجليزية
educated at الإنجليزية
languages spoken, written or signed الإنجليزية
award received الإنجليزية
S. Barry Cooper Prize الإنجليزية
point in time الإنجليزية
2020http://data.marefa.org/entity/Q1985727
quotation الإنجليزية
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 of graph width (tree-width, clique-width and rank-width) and opening new avenues in our understanding of graph structure theory and the computability and complexity of graph algorithms. (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
doctoral student الإنجليزية
student الإنجليزية
Freebase ID الإنجليزية
member of الإنجليزية