Awards

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