Bruno Courcelle es un matemático e informático francés , más conocido por el teorema de Courcelle en teoría de grafos .
Bruno Courcelle | |
---|---|
Ciudadanía | francés |
alma mater | Instituto Francés de Investigación en Informática y Automatización |
Conocido por | Teorema de Courcelle |
Carrera científica | |
Campos | Teoría de grafos , Informática |
Instituciones | Universidad de Burdeos |
Tesis | Application de la théorie des langages à la théorie des schémas de programmes (1976) |
Asesor de doctorado | Maurice Nivat |
La vida
Courcelle obtuvo su Ph.D. 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 incorporó al Laboratoire Bordelais de Recherche en Informatique (LaBRI) de la Universidad de Burdeos , 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]
Trabaja
Es conocido por el teorema de Courcelle , que combina la lógica de segundo orden , la teoría de los lenguajes formales y la descomposición de gráficos en árbol para mostrar que una amplia clase de problemas algorítmicos en la teoría de grafos tienen soluciones eficientes.
Referencias
- ↑ a b 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 al 20 de junio de 2012, LaBRI, Burdeos , consultado el 24 de junio de 2014.
enlaces externos
- Página web oficial
- Bruno Courcelle en el Proyecto de genealogía matemática
- Publicaciones de Bruno Courcelle indexadas por Google Scholar