Matemático e informático francés.
Bruno Courcelle es un matemático e informático francés , más conocido por el teorema de Courcelle en teoría de grafos .
Vida
Courcelle obtuvo su doctorado. en 1976 del Instituto Francés de Investigación en Informática y Automatización , entonces llamado IRIA, bajo la supervisión de Maurice Nivat . Luego se unió al Laboratoire Bordelais de Recherche en Informatique (LaBRI) de 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 ganador del Premio S. Barry Cooper de la Asociación Computabilidad en Europa en 2020. [4] En 2022, Courcelle recibió el premio el Premio Nerodo EATCS-IPEC . [5]
Durante la pandemia de COVID-19 , Courcelle protestó contra los mandatos de vacunación en Francia. [6]
Trabajar
Es conocido por el teorema de Courcelle , que combina lógica de segundo orden , la teoría de lenguajes formales y descomposiciones en árbol de gráficos para mostrar que una amplia clase de problemas algorítmicos en teoría de grafos tienen soluciones eficientes.
Las publicaciones notables también incluyen:
- Bruno Courcelle (1983). "Propiedades fundamentales de los árboles infinitos". Informática Teórica . 25 : 95-169.
- 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. págs. 459–492. ISBN 0-444-88074-7.
- Bruno Courcelle (1999). "Descomposiciones de gráficos jerárquicos definidas por gramáticas y fórmulas lógicas (conferencia invitada)". En Paliath Narendran; Michaël Rusinowitch (eds.). Técnicas y Aplicaciones de Reescritura , 10º Int. Conf., RTA-99 . LNCS . vol. 1631. Springer-Verlag. págs. 90–91.
Referencias
- ^ ab Bruno Courcelle, texto de los comentarios presentados 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 Nerodo EATCS-IPEC» . Consultado el 4 de agosto de 2022 .
- ^ Amiel, Sandrine (26 de julio de 2021). "¿Quiénes son los manifestantes contra la regla antivacunas en Francia y qué quieren?". euronoticias . Consultado el 9 de agosto de 2021 .
enlaces externos