Professor Emeritus, Johannes Kepler University Linz
Bruno Buchburger is a professor of computer mathematics at Johannes Kepler University in Linz, Austria. He is internationally known for his algorithmic theory of Gröbner bases. In recent years, Buchberger established the automated reasoning system Theorema and implemented it with his coworkers and students within Mathematica. Buchberger also contributed to the development of symbolic computation and computer algebra by founding and building up the Journal of Symbolic Computation, the Research Institute for Symbolic Computation (RISC), the Softwarepark Hagenberg and the University of Applied Sciences Upper Austria.