Professor Dr. Bruno Buchberger#

Professor Dr. Bruno Buchberger

Position

Institutsleiter

Universität

-

Institut

RISC und Uni Linz

Arbeitsgebiet

Symbolic Computation, Symbolische Berechnungen, Symbolic Algebra, Groebner Basen, Computer Algebra, Automated Theorem Proving, Formal Methods For Software, Algorithm Synthesis And Verification, Mathematical Knowledge Management, Logic-Based Mathematics Education

E-Mail

Bruno.Buchberger nospam@TUGraz.at @risc.uni-linz.ac.at

Web-Site

http://www.risc.uni-linz.ac.at/people/buchberger

Besondere Aktivitäten

Mitglied der Academia Europaea
ACM Kanellakis Preis für Theorie und Praxis 2007
Fünf Ehrendoktorate (University of Nijmegen 1993, University of Timisoara 2000), University of Bath 2005, Universität Waterloo 2011, Universität Innsbruck 2012),
Zehn österreichische Auszeichnungen, darunter das österreichisch Ehrenkreuz für Kunst und Wissenschaft Erste Klasse

Mitgliedschaften

-

Projekte

siehe http://www.risc.jku.at/people/buchberger/main_contributions.html

Publikationen

siehe http://www.risc.jku.at/people/buchberg/refereed_publications.php

Anschrift

Research Institute for Symbolic Computation (RISC)
Johannes Kepler University
4232 Schloss Hagenberg Research Institute for Symbolic Computation (RISC), ...

Ort

Hagenberg und Linz

Telefon

Phone office: +43 732 2468 9921 Mobile phone: +43 664 4211646

Anmerkung

Buchberger: Mathematiker, Manager, Musiker

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#