### Bruno Buchberger

Professor Emeritus, Johannes Kepler University Linz

Areas: Education, Mathematics, Mathematics Courseware Design, Software Development

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.