ACM Paris Kanellakis Theory and Practice Award
Johannes Kepler University Australia – 2007
CITATION

For his role in developing the theory of Groebner Bases into a highly effective tool in computer algebra, widely used in symbolic computation systems.


In his 1965 Ph.D. thesis, Bruno Buchberger created the theory of Groebner bases, and has made substantial contributions to the development of this theory throughout his career. He named these bases after his advisor Wolfgang Groebner, and provided a constructive algorithm for these objects, now popularly known as Buchberger's Algorithm. His theory of Groebner bases became one of the crucial building blocks of computer algebra and is widely applied to solve problems in robotics, computer-aided design, theorem proving, systems design, coding theory, and modeling biological systems. The algorithmic method of Dr. Buchberger's theory forms part of all current symbolic computation systems such as Mathematica, Macsyma, Magma, Maple and Reduce. Over the years, his work has been generalized to apply to other algebraic systems (e.g., polynomial rings over integers), its complexity has become better understood and improved, and its key algorithmic algebraic concepts have been widely popularized. Dr. Buchberger remains central to the success of these efforts. He has also been actively leading the development Theorema, a theorem prover based on a symbolic computation system, at the University of Linz, Austria. For the last two decades he has played a leading role in constructive and algorithmic algebra and its applications through the establishment of the Research Institute for Symbolic Computation (RISC), and the Softwarepark, Hagenberg, at Johannes Kepler University in Linz.