Bruno Buchberger (nacido el 22 de octubre de 1942) es profesor de informática matemática en la Universidad Johannes Kepler de Linz , Austria . En su Ph.D. de 1965 tesis , creó la teoría de bases de Gröbner , [2] y ha desarrollado esta teoría a lo largo de su carrera. Llamó a estos objetos en honor a su asesor Wolfgang Gröbner . Desde 1995, ha participado activamente en el proyecto Theorema en la Universidad de Linz .
Bruno Buchberger | |
---|---|
Nació | |
alma mater | Universidad de Innsbruck |
Conocido por | Bases Gröbner |
Premios |
|
Carrera científica | |
Campos | Matemáticas informáticas |
Instituciones | |
Tesis | Un algoritmo para encontrar los elementos básicos del anillo de clases de residuos Módulo un ideal polinomial de dimensión cero [1] (1966) |
Asesor de doctorado | Wolfgang Gröbner |
Carrera profesional
En 1987, Buchberger fundó y presidió el Instituto de Investigación para Computación Simbólica (RISC) en 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ó Softwarepark Hagenberg en 1989 y desde entonces ha estado dirigiendo la expansión de este parque tecnológico austriaco para software.
En 2014 se convirtió en miembro del Grupo de Trabajo de Bibliotecas Matemáticas Digitales Globales [3] de la IMU .
Premios
- Medalla Wilhelm Exner (1995). [4]
- Premio Paris Kanellakis de Teoría y Práctica (2007). Para la teoría de las bases de Gröbner. [5]
- Medalla de Oro de Honor del Gobierno de la Alta Austria
- Doctorados honorarios 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
Referencias
- ^ Bruno Buchberger en el Proyecto de genealogía matemática
- ^ Abramson, Michael P. (2009). "Antecedentes históricos del artículo de Gröbner". Comunicaciones ACM en álgebra informática . 43 (1/2).
- ^ "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 .
- ^ Editor, ÖGV. (2015). Medalla Wilhelm Exner. Asociación de Comercio de Austria. ÖGV. Austria.
- ^ ACM honra al innovador de herramientas automatizadas para matemáticas; Bruno Buchberger desarrolló un algoritmo utilizado en álgebra informática para resolver problemas en ciencias de la computación, ingeniería y ciencias [ enlace muerto permanente ]
- ^ "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" . doi : 10.1016 / j.jsc.2005.09.005 . Cite journal requiere
|journal=
( ayuda )
enlaces externos
Medios relacionados con Bruno Buchberger en Wikimedia Commons
- Sitio web de la universidad de Buchberger
- Sitio web de RISC