2007: Kanellakis Award of the ACM (Association for Computing Machinery) for Theory and Practice
2006: Julius-Raab Medal of the Austrian Union of Commerce
2005: Senior Research Fellow of the Johannes Kepler University, Linz, Austria.
2005: Honorary Doctorate from the University of Bath, UK, School of Mathematics.
2005: Verdienstkreuz (Cross of Merit) of Tyrol (for building up computer science at the Univ of Innsbruck).
2004: Honorary member of the Japanese Society for Symbolic and Algebraic Computation (JSSAC).
2003: Erwin Wenzl Award (Special Science Award of Upper Austria for Life’s Achievement).
2003: Austrian Cross of Honors for Science and Arts of the First Class (the highest science award in Austria).
2000: Honorary Doctorate from the University of Timisoara (Romania), School of Mathematics.
1999: The Golden Cross Award of the Upper Austrian Raiffeisen Bank.
1999: The Golden Medal of Honor of the Upper Austrian Government.
1999: Hermes Award of the Wirtschaftsblatt (Austrian Newspaper for Economy)
1998: Honorary Citizen of Hagenberg.
1995: The Upper Austrian Cultural Award for Science
1995: The Wilhelm Exner Medal of the Austrian Association for Business and Trade.
1994: The Rudolf Trauner Science Award of the Upper-Austrian Chamber of Commerce.
1993: Honorary Doctorate from the University of Nijmegen, School of Mathematics and Computer Science.
1991: Member of Academia Europea, London