Former Member

Prof. Dr. Bruno Buchberger

< back
Group Leader Symbolic Computation

Short Curriculum Vitae

  • 1960/66: Study of mathematics, University of Innsbruck; Secondary subjects: experimental physics, philosophy
  • 1966: PhD in mathematics
  • Founding chairman of RISC (Research Institute for Symbolic Computation)
  • Founding chairman of Softwarepark Hagenberg
  • Founding editor-in-chief of Journal of Symbolic Computation
  • Director of the Theorema Research Group
  • Member of Academia Europea
  • Honorary Doctorates of U of Nijmegen and U of Timisoara
  • Inventor of the Theory of Groebner Bases

  • 2003 Ehrenkreuz for "Wissenschaft und Kunst erster Klasse"
Former and Current Positions:
  • 1964/66: Programmer, Computing Center, University of Innsbruck, Austria
  • 1966/73: Assistant, Computing Center, University of Innsbruck, Austria
  • 1973/74: Dozent, Computing Center, University of Innsbruck, Austria
  • 1974/--: Full professor of computer mathematics, Johannes Kepler University, Linz, Austria
  • 1979/81: Dean of the School of Technical and Natural Sciences, Johannes Kepler University, Linz, Austria
  • 1987/99: Founder and chairman of RISC (Research Institute for Symbolic Computation), Johannes Kepler University, Linz, Austria
  • 1985/95: Founder and editor-in-chief of the Journal for Symbolic Computation, Academic Press, London
  • 1991/--: Founder and director of the Software Park Hagenberg, Austria
  • Since 2003: Group Leader of the research group "Symbolic Computation" at the RICAM

Research Interests

  • Computer algebra, theory of Groebner bases, Automated theorem proving, Mathematical knowledge management