Heinz Zemanek Prize
The Heinz Zemanek Prize is awarded to authors of outstanding scientific research in the fields of computer science and related areas by the Austrian Computer Society . Named after Heinz Zemanek , the prize is awarded roughly every two years and has been in two categories since 2006: (A) Dissertations (endowment: 5,000 euros) and (B) Other research work (e.g. habilitation theses; endowment: 2,000 euros). In category A (dissertations), the prize can also be divided between two candidates.
Award winners
- 1985: Alfred Kobsa: User models for dialogue systems
- 1986: Siegfried Selberherr : Simulation and analysis of problems in microelectronics
- 1987: Andreas Krall: Design and implementation of a very specific prologue interpreter ; Gustaf Neumann : Metaininterpreter-controlled compilation of logical programs according to Prolog
- 1990: Wolfgang Schwabl: The influence of random and systematic errors on clock synchronization in distributed real-time systems ; Eva Kühn: Implementation of multi-database systems in Prolog
- 1992: Alois Ferscha: Modeling and performance analysis of parallel systems with the PRM network model
- 1994: Arnold Krommer, Christoph Überhuber : Scientific Parallel Computation
- 1996: Gabriele Kotsis : Working Modeling for Parallel Systems ; Wolfgang Slany: Fuzzy Scheduling
- 1998: Keith Andrews: Browsing, Building and Beholding Cyberspace: New Approaches to the Navigation, Construction and Visualization of Hypermedia on the Internet
- 2000: Peter Lang: Conceptual design of active object-oriented databases
- 2002: Andreas Uhl: Parallel Computing in Image Processing and Numerics
- 2004: Michael Fink: Components of Logical Programming for Information Agents
- 2006: (A) Marko Samer: Reasoning about Specifications in Model Checking ; (B) Helwig Hauser: Generalizing Focus + Context Visualization
- 2008: (A) Jan Mendling: Detection and Prediction of Errors in EPC Business Process Models ; (B) Alexander Felfernig: Knowledge Engineering for Complex Products and Services
- 2010: not awarded
- 2012: Thomas Würthinger: Dynamic Code Evolution for Java
- 2016: (A) Sebastian Krinninger: Faster Approximation Algorithms for Partially Dynamic Shortest Paths Problems ; Markus Steinberger: Dynamic Resource Scheduling on Graphics Processors
- 2018: Daniel Gruss: Software-based Microarchitectural Attacks
- 2020: Alwin Zulehner: Design Automation for Quantum Computing