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
- 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#