2012 Best Student Award Paper, Muhammad Taimoor Khan and Wolfgang Schreiner: Towards Formal Specification and Verification of Maple Programs, Conferences on Intelligent Computer Mathematics (CICM) 2012, July 9-13, 2012, Bremen, Germany.
2000 TRACS Research Visit Grant, Training and Research on Advanced Computing Systems, Edinburgh Parallel Computing Centre, UK (GBP 800).
1998 Marktoberdorf Grant, Advanced Study Institute, 1998 International Summer School on Calculational System Design (DM 1.300).
1996 EU HCM Euroconferences Grant CSL ’96 Conference of the European Association of Computer Science Logic (ECU 1.000).
1995 Appreciation Award of the Austrian Federal Ministery for Science and Research for Excellent Studies (ATS 25.000).
1995 Graduation sub auspiciis praesidentis rei publicae (i.e. in presence of the Federal President of the Republic of Austria).
1991 Promotion Award of the Austrian Computer Society (OCG) for the best Austrian diploma thesis in computer science (ATS 10.000).
1991 Appreciation Award of the Austrian Federal Ministery for Science and Research for Excellent Studies (ATS 25.000).