Bruno Buchberger

Bruno Buchberger (born 1942) is a mathematician and professor of computer mathematics at Johannes Kepler University in Linz, Austria. In his 1965 doctoral thesis he created the theory of Gröbner bases, which he named after his advisor Wolfgang Gröbner, and he has developed it throughout his career. In 1985 he started the Journal of Symbolic Computation, and in 1987 he founded and chaired the Research Institute for Symbolic Computation at Linz. He also conceived the Softwarepark Hagenberg in 1989 and has worked on the Theorema project since 1995. Beyond computational algebra he applied Gröbner bases to automated theorem proving, computational geometry and the mathematics of origami. His honours include the Wilhelm Exner Medal in 1995 and the Paris Kanellakis Theory and Practice Award in 2007.