Bruno Buchberger#


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
INSERT YOUR HONOURS AND AWARDS HERE AS SHOWN BELOW (EACH AWARD ETC. PRECEDED BY AN ASTERISK)
  • Member of Academia Europaea (1999)
  • Award of Excellence (2001)
  • Member of Austrian Academy of Science
  • etc.


  • 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


Imprint Privacy policy « This page (revision-8) was last changed on Monday, 14. June 2021, 13:59 by Majkowska Katarzyna
  • operated by