Günter-Hotz-Medaille
aus Wikipedia, der freien Enzyklopädie
Die Günter-Hotz-Medaille wird seit dem Jahr 2001 vom „Verein Freunde der Saarbrücker Informatik“ an die herausragendsten Informatikstudenten des jeweiligen Studienjahrgangs gestiftet. Der Preis ist mit einer Anerkennung von 1000 € verbunden. Er wurde nach dem Informatik-Pionier Günter Hotz benannt. Die Preisträger werden durch die Fachrichtung Informatik der Universität des Saarlandes in Saarbrücken bestimmt.
Inhaltsverzeichnis |
[Bearbeiten] Preisträger
[Bearbeiten] 2001
- Manuel Bodirsky: "Beta Reduction Constraints" (Gert Smolka)
- Jochen Preiß: "Entwicklung eines optisch gekoppelten Caches" (Wolfgang Paul)
- Sebastian Winkel: "ILP-basierte Instruktionsanordnung für IA-64" (Wolfgang Paul)
[Bearbeiten] 2002
- Dirk Leinenbach: "Implementierung eines maschinell verifizierten Prozessors" (Wolfgang Paul)
- Andrey Rybalchenko: "A Model Checker based on Abstraction Refinement" (Andreas Podelski)
- Jan Schwinghammer: "A Concurrent Lambda-Calculus with Promises and Futures" (Gert Smolka)
[Bearbeiten] 2003
- Arno Eigenwillig: "Exact Arrangement Computation for Cubic Curves" (Elmar Schömer)
- Michael Scholl: "Entwurf und Implementierung effizienter Strategien für die Index-basierte Auswertung von XML-Anfragen" (Gerhard Weikum)
- Guido Tack: "Linearisation, Minimisation and Transformation of Data Graphs with Transients" (Gert Smolka)
[Bearbeiten] 2004
- Eric Berberich: "Exact Arrangements of Quadratic Intersection Curves" (Elmar Schömer)
- Andreas Karrenbauer: "Packing Boxes with Arbitrary Rotations" (Friedrich Eisenbrand)
- Sven Woop: "A Ray Tracing Hardware Architecture for Dynamic Scenes" (Philip Slusallek)
[Bearbeiten] 2005
- Eyad Alkassar: "Constructing a Formal Framework for Modeling and Verifying a Real Operating System" (Wolfgang Paul)
- Andreas Keller: "A Statistical Framework for the Diagnosis of Meningioma Cancer" (Hans-Peter Lenhof)
- Fabian Suchanek: "Ontological Reasoning for Natural Language Understanding " (Gerhard Weikum)
