Bruno Buchberger#
| Membership Number: | 1125 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 1991 |
| Main Country of Residence: | AUSTRIA |
| Homepage(s): | http://www.risc.uni-linz.ac.at/people/buchberger |
Present and Previous Positions
- since 1989 Head of Softwarepark Hagenberg
- since 2002 Research Professor at RISc
- 1987-1999 Chairman of RISC
- 1987-2002 Full Professor at Research Institute for Symbolic Computation (RISC) of Johannes Kepler University, Linz, Austria
- 1974-1987 Full Professor at Mathematical Institute of Johannes Kepler University, Linz, Austria
- 1966-1974 Assistant at Mathematical Institute of University of Innsbruck, Austria
Fields of Scholarship
- Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving
- Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
- Mathematical education: logic-based mathematics education, in particular for computer scientists
Honours and Awards
- 2007 ACM Kanellakis Award of Theory and Practice
- Three honorary doctorates (University of Nijmegen 1993, University of Timisoara 2000, University of Bath 2005)
- Ten Austrian Awards, among them the Austrian Cross of Honors for Science and Arts, First Class
