Bruno Buchberger

Matemático austríaco (nacido en 1942)

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

Carrera

En 1987, Buchberger fundó y dirigió el Instituto de Investigación para Computación Simbólica (RISC) en la Universidad Johannes Kepler. En 1985, inició el Journal of Symbolic Computation , que se ha convertido en la publicación más importante en el campo del álgebra computacional .

Buchberger también concibió el Softwarepark Hagenberg en 1989 y desde entonces dirige la expansión de este parque tecnológico austriaco para 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 Paris Kanellakis de teoría y práctica (2007). Por la teoría de las bases de Gröbner. ^[5]
• Medalla de Oro de Honor del Gobierno de Alta Austria
• Doctorados honoris causa por las Universidades de Nijmegen (1993), Timișoara (2000), Bath (2005), Waterloo (2011) e Innsbruck (2012).
• Premio Herbrand por contribuciones destacadas al razonamiento automatizado (2018) ^[6]

Véase también

• Algoritmo de Buchberger
• Bases de Gröbner

Referencias

1. Bruno Buchberger en el Proyecto de Genealogía Matemática
2. Abramson, Michael P. (2009). "Antecedentes históricos del artículo de Gröbner". ACM Communications in Computer Algebra . 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 2017-09-21 . Consultado el 2015-01-22 .
4. Editor, ÖGV. (2015). Medalla Wilhelm Exner. Asociación de Comercio de Austria. ÖGV. Austria.
5. "El premio ACM Kanellakis honra a un innovador en herramientas automatizadas para las matemáticas". Association for Computing Machinery. Mayo de 2008. Consultado el 22 de febrero de 2024 .
6. "Premio Herbrand por contribuciones destacadas 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". Journal of Symbolic Computation . 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