Institute for Symbolic Computation, Johannes Kepler University, Hagenberg, Austria
Featured Author: Bruno Buchberger
Bruno Buchberger (b. October 22, 1942) is a mathematician and computer scientist. He is best known for initiating the theory of Groebner bases and his continuing contributions to the development of this theory.
Buchberger received his Ph.D. (1966) from the University of Innsbruck. In his thesis, he established the notion and theory of Groebner bases, by which various problems in algebraic geometry can be solved algorithmically. He further developed this theory during his research career.
His recent research focuses on the development of the Theorema software system (which he conceived and initiated in 1995) for the computer support of the mathematical invention and verification process.
Among his distinctions, awards and honors are: the Kanellakis Award 2007 for Theory and Practice of the Association for Computing Machinery; member of the Academy of Europe (Academia Europaea, London); honorary doctorates from the University of Nijmegen (The Netherlands), West University of Timisoara (Romania), and University of Bath (United Kingdom).
Buchberger has also made significant contributions to research and technology management. He is founder of the Journal of Symbolic Computation; founder of the Research Institute for Symbolic Computation; founder of the Softwarepark Hagenberg (Austria); co-founder of the Software Competence Center Hagenberg; and co-founder of the Radon Institute for Computational and Applied Mathematics, Austrian Academy of Science (Linz).
His research interests include computer algebra, automated reasoning, and formal methods in mathematics and computer science.
- Groebner basis. Scholarpedia, 5(10):7763. (2010).
(Author profile by Madalina Erascu)
List of previous featured authors