HOME

TheInfoList



OR:

Bruno Buchberger (born 22 October 1942) is Professor of Computer Mathematics at
Johannes Kepler University The Johannes Kepler University Linz (German: ''Johannes Kepler Universität Linz'', short: ''JKU'') is a public institution of higher education in Austria. It is located in Linz, the capital of Upper Austria. It offers bachelor's, master's, ...
in
Linz Linz ( , ; cs, Linec) is the capital of Upper Austria and third-largest city in Austria. In the north of the country, it is on the Danube south of the Czech border. In 2018, the population was 204,846. In 2009, it was a European Capital ...
,
Austria Austria, , bar, Östareich officially the Republic of Austria, is a country in the southern part of Central Europe, lying in the Eastern Alps. It is a federation of nine states, one of which is the capital, Vienna, the most populous ...
. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases, and has developed this theory throughout his career. He named these objects after his advisor
Wolfgang Gröbner Wolfgang Gröbner (11 February 1899 – 20 August 1980) was an Austrian mathematician. His name is best known for the Gröbner basis, used for computations in algebraic geometry. However, the theory of Gröbner bases for polynomial rings was deve ...
. Since 1995, he has been active in the Theorema project at the
University of Linz The Johannes Kepler University Linz (German: ''Johannes Kepler Universität Linz'', short: ''JKU'') is a public institution of higher education in Austria. It is located in Linz, the capital of Upper Austria. It offers bachelor's, master's, d ...
.


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'' of the IMU.


Awards

*
Wilhelm Exner Medal The Wilhelm Exner Medal has been awarded by the Austrian Industry Association, (ÖGV), for excellence in research and science since 1921. The medal is dedicated to Wilhelm Exner (1840–1931), former president of the Association, who initialize ...
(1995). * Paris Kanellakis Theory and Practice Award (2007). For theory of Gröbner bases.ACM Honors Innovator of Automated Tools for Mathematics; Bruno Buchberger Developed Algorithm Used in Computer Algebra to Solve Problems in Computer Science, Engineering, Science
/ref> *''Golden Medal of Honor'' by the Upper Austrian Government *Honorary doctorates from the Universities of
Nijmegen Nijmegen (;; Spanish and it, Nimega. Nijmeegs: ''Nimwèège'' ) is the largest city in the Dutch province of Gelderland and tenth largest of the Netherlands as a whole, located on the Waal river close to the German border. It is about 6 ...
(1993),
Timișoara ), City of Roses ( ro, Orașul florilor), City of Parks ( ro, Orașul parcurilor) , image_map = Timisoara jud Timis.svg , map_caption = Location in Timiș County , pushpin_map = Romania#Europe , pushpin_ ...
(2000),
Bath Bath may refer to: * Bathing, immersion in a fluid ** Bathtub, a large open container for water, in which a person may wash their body ** Public bathing, a public place where people bathe * Thermae, ancient Roman public bathing facilities Plac ...
(2005), Waterloo (2011), and
Innsbruck Innsbruck (; bar, Innschbruck, label=Austro-Bavarian ) is the capital of Tyrol and the fifth-largest city in Austria. On the River Inn, at its junction with the Wipp Valley, which provides access to the Brenner Pass to the south, it had a p ...
(2012). *
Herbrand Award The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important con ...
for Distinguished Contributions to Automated Reasoning (2018)


See also

* Buchberger's algorithm * Gröbner bases


References


Sources

*


External links


Buchberger's university websiteRISC website
1942 births 20th-century Austrian mathematicians 21st-century Austrian mathematicians Living people Scientists from Innsbruck Academic staff of Johannes Kepler University Linz {{europe-mathematician-stub