Bruno Buchberger#
| Email: | bruno.buchberger 'at' risc.uni-linz.ac.at |
| Membership Number: | 1125 |
| Main Country of Residence: | AUSTRIA |
| Section: | INFORMATICS |
| Username: | bbuchberger |
Present and Previous Positions
- 1989- ...: Head of Softwarepark Hagenberg
- 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
- ACM Kanellakis Award of Theory and Practice 2007,
- Three honorary doctorates (University of Nijmegen 1993, University of Timisoara 2000), University of Bath 2005),
- Ten Austrian Awards, among the the Austrian Cross of Honors for Science and Arts of the First Class.
| operated by | 
|