unbekannter Gast

Professor Dr. Bruno Buchberger#

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@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
Benutzer-ID: b.buchberger



Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#