Bruno Buchberger is Professor of Computer Mathematics at Johannes Kepler University in Linz

Linz

Linz is the third-largest city of Austria and capital of the state of Upper Austria . It is located in the north centre of Austria, approximately south of the Czech border, on both sides of the river Danube. The population of the city is , and that of the Greater Linz conurbation is about...

, Austria

Austria

Austria , officially the Republic of Austria , is a landlocked country of roughly 8.4 million people in Central Europe. It is bordered by the Czech Republic and Germany to the north, Slovakia and Hungary to the east, Slovenia and Italy to the south, and Switzerland and Liechtenstein to the...

. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases

Gröbner basis

In computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular kind of generating subset of an ideal I in a polynomial ring R...

, and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner

Wolfgang Gröbner

Wolfgang Gröbner was an Austrian mathematician. His name is best known for the Gröbner basis, used for computations in algebraic geometry...

. Since 1995, he is active in the Theorema project at the University of Linz.

In 1987 Buchberger founded and chaired the Research Institute for Symbolic Computation

Research Institute for Symbolic Computation

The Research Institute for Symbolic Computation is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria. RISC was founded in 1987 under Bruno Buchberger and...

 (RISC) at Johannes Kepler University. In 1985 he started the Journal of Symbolic Computation

Journal of Symbolic Computation

The Journal of Symbolic Computation is a peer-reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic Press. It is targeted to both mathematicians and computer scientists...

, which has now become the premier publication in the field of computer algebra.

For his theory of Gröbner bases, Buchberger received the 2007 ACM Paris Kanellakis Theory and Practice Award. He was also awarded the Golden Medal of Honor by the Upper Austrian Government. He has received honorary doctorates from the University of Nijmegen (1993), the West University of Timişoara

West University of Timisoara

The West University of Timişoara is a university located in Timişoara, Romania. Established in 1962, it is organized in 11 Faculties.-Organization:...

 (2000) and the University of Bath

University of Bath

The University of Bath is a campus university located in Bath, United Kingdom. It received its Royal Charter in 1966....

 (2005).

Buchberger also conceived Softwarepark Hagenberg

Softwarepark Hagenberg

The Softwarepark Hagenberg is the Austrian technology park for software, located in Hagenberg im Mühlkreis, Austria, founded in 1989 by Professor Bruno Buchberger. The Softwarepark Hagenberg is a unique collaboration where research, business and education are intensively cooperating...

in 1989 and since then is directing the expansion of this significant Austrian technology park for software.

External links

• Buchberger's university website
• RISC website
• H. Hong, D. Kapur, P. Paule, F. Winkler, Foreword: Bruno Buchberger - A Life Devoted to Symbolic Computation. Journal of Symbolic Computation 41 (2006): 255-258.