Bruno Buchberger

Bruno Buchberger (born 22 October 1942) is Professor of Computer Mathematics at Johannes Kepler University in Linz, Austria. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases,[2] and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner. Since 1995, he has been active in the Theorema project at the University of Linz.

Bruno Buchberger
Born (1942-10-22) 22 October 1942
Alma materUniversity of Innsbruck
Known forGröbner bases
Awards
  • Paris Kanellakis Theory and Practice Award
  • Austrian Golden Medal of Honor
Scientific career
FieldsComputer mathematics
Institutions
ThesisAn Algorithm for Finding the Basis Elements of the Residue Class Ring Modulo a Zero-dimensional Polynomial Ideal[1] (1966)
Doctoral advisorWolfgang Gröbner

Career

In 1987 Buchberger founded and chaired the Research Institute for Symbolic Computation (RISC) at Johannes Kepler University. In 1985 he started the Journal of Symbolic Computation, which has now become the premier publication in the field of computer algebra.

Buchberger also conceived Softwarepark Hagenberg in 1989 and since then has been directing the expansion of this Austrian technology park for software.

In 2014 he became a member of the Global Digital Mathematical Library Working Group [3] of the IMU.

Awards

See also

References

  1. Bruno Buchberger at the Mathematics Genealogy Project
  2. Abramson, Michael P. (2009). "Historical background to Gröbner's paper". ACM Communications in Computer Algebra. 43 (1/2).
  3. "The Global Digital Mathematical Library Working Group". Archived from the original on 2017-09-21. Retrieved 2015-01-22.
  4. Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.
  5. ACM Honors Innovator of Automated Tools for Mathematics; Bruno Buchberger Developed Algorithm Used in Computer Algebra to Solve Problems in Computer Science, Engineering, Science
  6. "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 31 July 2020.

Sources

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.