Bruno Buchberger

Matemático austriaco (nacido en 1942)

Bruno Buchberger (nacido el 22 de octubre de 1942) es profesor de Matemática Informática en la Universidad Johannes Kepler de Linz , Austria . En su doctorado de 1965. tesis , creó la teoría de las bases de Gröbner , ^[2] y ha desarrollado esta teoría a lo largo de su carrera. Llamó a estos objetos el nombre de su asesor Wolfgang Gröbner . Desde 1995 participa activamente en el proyecto Theorema de la Universidad de Linz .

Carrera

En 1987, Buchberger fundó y presidió el Instituto de Investigación de Computación Simbólica (RISC) de la Universidad Johannes Kepler. En 1985 fundó el Journal of Symbolic Computation , que ahora se ha convertido en la principal publicación en el campo del álgebra informática .

Buchberger también concibió en 1989 el Softwarepark Hagenberg y desde entonces dirige la ampliación de este parque tecnológico austriaco para el software.

En 2014 se convirtió en miembro del Grupo de Trabajo de la Biblioteca Matemática Digital Global ^[3] de la Unión Matemática Internacional .

Premios

• Medalla Wilhelm Exner (1995). ^[4]
• Premio París Kanellakis de Teoría y Práctica (2007). Para la teoría de las bases de Gröbner. ^[5]
• Medalla de Honor de Oro del Gobierno de Alta Austria
• Doctorados honoris causa de las Universidades de Nijmegen (1993), Timișoara (2000), Bath (2005), Waterloo (2011) e Innsbruck (2012).
• Premio Herbrand por contribuciones distinguidas al razonamiento automatizado (2018) ^[6]

Ver también

• algoritmo de buchberger
• Bases de Gröbner

Referencias

1. Bruno Buchberger en el Proyecto Genealogía de Matemáticas
2. Abramson, Michael P. (2009). "Antecedentes históricos del artículo de Gröbner". Comunicaciones ACM en álgebra informática . 43 (1/2): 22–23. doi :10.1145/1610296.1610301. S2CID  10959337.
3. "El Grupo de Trabajo de la Biblioteca Matemática Digital Global". Archivado desde el original el 21 de septiembre de 2017 . Consultado el 22 de enero de 2015 .
4. Editor, ÖGV. (2015). Medalla Wilhelm Exner. Asociación de Comercio de Austria. ÖGV. Austria.
5. "El premio ACM Kanellakis honra al innovador de herramientas automatizadas para matemáticas". Asociación para Maquinaria de Computación. Mayo de 2008 . Consultado el 22 de febrero de 2024 .
6. "Premio Herbrand por contribuciones distinguidas al razonamiento automatizado". CADE Inc. Consultado el 31 de julio de 2020 .

Fuentes

• "Prólogo: Bruno Buchberger: una vida dedicada a la computación simbólica". Revista de Computación Simbólica . doi : 10.1016/j.jsc.2005.09.005 .

enlaces externos

Medios relacionados con Bruno Buchberger en Wikimedia Commons

• Sitio web de la universidad de Buchberger
• sitio web de RISC