Bruno Courcelle

Bruno Courcelle es un matemático e informático francés , conocido principalmente por el teorema de Courcelle en teoría de grafos .

Courcelle obtuvo su doctorado en 1976 en el Instituto Francés de Investigación en Informática y Automatización , entonces llamado IRIA, bajo la supervisión de Maurice Nivat . Posteriormente se incorporó al Laboratoire Bordelais de Recherche en Informatique (LaBRI) de la Universidad de Burdeos 1 , donde permaneció durante el resto de su carrera. ^{[ 1 ]} Es miembro sénior del Institut Universitaire de France desde 2007. ^{[ 2 ]}

En 2012 se celebró en Burdeos un taller en honor a la jubilación de Courcelle. ^{[ 1 ] [ 3 ]} Courcelle fue el primer galardonado con el Premio S. Barry Cooper de la Asociación Computability in Europe en 2020. ^{[ 4 ]} En 2022, Courcelle recibió el Premio EATCS-IPEC Nerode . ^{[ 5 ]}

Durante la pandemia de COVID-19 , Courcelle protestó contra la obligatoriedad de la vacunación en Francia. ^{[ 6 ]}

Es conocido por el teorema de Courcelle , que combina la lógica de segundo orden , la teoría de los lenguajes formales y las descomposiciones en árboles de los grafos para demostrar que una amplia clase de problemas algorítmicos en la teoría de grafos tienen soluciones eficientes.

Entre las publicaciones destacadas también se incluyen:

• Bruno Courcelle (1983). "Propiedades fundamentales de los árboles infinitos". Theoretical Computer Science . 25 (2): 95– 169. doi : 10.1016/0304-3975(83)90059-2 .
• Bruno Courcelle (1990). «Esquemas de programas aplicativos recursivos». En Jan van Leeuwen (ed.). Modelos formales y semántica . Manual de informática teórica. Vol.  B. Elsevier. pp. 459–492 . ISBN  0-444-88074-7.
• Courcelle, Bruno (1999). «Descomposiciones jerárquicas de grafos definidas por gramáticas y fórmulas lógicas». Técnicas de reescritura y aplicaciones . Notas de clase en informática. Vol.  1631. Springer. pp. 90–91 . doi : 10.1007/3-540-48685-2_7 . ISBN  978-3-540-66201-3.

• Sitio web oficial