Bruno Courcelle

Bruno Courcelle es un matemático y científico informático francés , más conocido por el teorema de Courcelle en teoría de grafos .

Vida

Courcelle obtuvo su doctorado en 1976 en el Instituto Francés de Investigación en Ciencias de la Computación y Automatización , entonces llamado IRIA, bajo la supervisión de Maurice Nivat . Luego se unió al Laboratoire Bordelais de Recherche en Informatique (LaBRI) en la Universidad de Burdeos 1 , donde permaneció durante el resto de su carrera. ^[1] Ha sido miembro senior 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 destinatario del Premio S. Barry Cooper de la Asociación Computabilidad en Europa en 2020. ^[4] En 2022, Courcelle recibió el Premio Nerode de EATCS-IPEC . ^[5]

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

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

Entre otras publicaciones destacadas se incluyen:

Bruno Courcelle (1983). "Propiedades fundamentales de los árboles infinitos". Theoretical Computer Science . 25 : 95–169.
Bruno Courcelle (1990). "Esquemas recursivos de programas aplicativos". En Jan van Leeuwen (ed.). Modelos formales y semántica . Manual de informática teórica. Vol. B. Elsevier. págs. 459–492. ISBN 0-444-88074-7.
Bruno Courcelle (1999). "Descomposiciones jerárquicas de grafos definidas por gramáticas y fórmulas lógicas (conferencia invitada)". En Paliath Narendran; Michaël Rusinowitch (eds.). Rewriting Techniques and Applications , 10.ª conferencia internacional, RTA-99 . LNCS . Vol. 1631. Springer-Verlag. págs. 90–91.

^ ab Bruno Courcelle, texto de las observaciones presentadas por Maurice Nivat en el taller de Courcelle, consultado el 24 de junio de 2014.
^ Bruno Courcelle Archivado el 15 de marzo de 2014 en Wayback Machine , Institut Universitaire de France , consultado el 24 de junio de 2014.
^ Taller de Bruno, 18-20 de junio de 2012, LaBRI, Burdeos, consultado el 24 de junio de 2014.
^ «Sitio web de la Asociación CiE: Premio S. Barry Cooper 2020 otorgado a Bruno Courcelle». 3 de junio de 2020. Consultado el 4 de agosto de 2022 .
^ "Premio Nerode de la EATCS-IPEC" . Consultado el 4 de agosto de 2022 .
^ Amiel, Sandrine (26 de julio de 2021). "¿Quiénes son los manifestantes antivacunas en Francia y qué quieren?". euronews . Consultado el 9 de agosto de 2021 .