The ACM has recognized Bruno Buchberger, a professor at Johannes Kepler University in Austria, for his role in developing the theory of Groebner Bases, which has become a crucial building block to computer algebra, and is widely used in science, engineering, and computer science. Buchberger's work has resulted in automated problem-solving tools to address challenges in robotics, computer-aided design, systems design, and modeling biological systems. He will be honored with the ACM Paris Kanellakis Theory and Practice Award, which honors specific theoretical accomplishments that significantly affect the practice of computing.
Buchberger, who named the Groebner Bases after his advisor Wolfgang Groebner, also provided an algorithm, which is a detailed set of instructions in the form of a computer program, for finding these bases. This algorithm is now known as Buchberger's Algorithm. It is included in all major computer algebra software systems including Mathematica, Macsyma, Magma, Maple, and Reduce, programs that let computers manipulate mathematical equations and expressions in symbolic form, and are heavily used in science and mathematics. The American Mathematical Society key word index for mathematics recently created an extra key word for "Groebner Bases."
Currently, Buchberger leads the development of the Theorema project, which aims to extend existing computer algebra systems by creating ways to facilitate mathematical proving. The project's long-term goal is to create interactive textbooks for mathematicians that contain not only the ordinary passive text, but active text that represents algorithms in executable format, as well as proofs that can be studied, and whose routine parts can be automatically generated. This system will provide a uniform framework in which working mathematicians can access computer support while proceeding through all phases of the mathematical problem solving cycle without leaving the Theorema system.
In 1985, Buchberger founded the Journal for Symbolic Computation, and was editor-in-chief through 1995. He founded the Research Institute for Symbolic Computation (RISC) at Johannes Kepler University in 1987, and led it until 1999. In 1991, he founded the Software Park in Hagenberg, Austria, one of Austria's most successful technology parks, combining economics, research, and software.
From 1979-81, Buchberger was Dean of the School of Technical and Natural Sciences at Johannes Kepler University, where he is currently Professor of Computer Mathematics. Buchberger was appointed as a member of the Academia Europea in London in 1991. He has received the Honorary Cross for Science and Culture, First Class, of the Austrian Ministry of Science and numerous other Austrian awards.
A graduate of the University of Innsbruck, he holds a Habilitation and a Ph.D. in mathematics. He was given Honorary Doctorates from the University of Nijmegen, The Netherlands (1993), the University of Timisoara, Rumania (2000), and the University of Bath, UK (2005).