|
Die Freunde der Saarbrücker Informatik haben im Jahre 2001 einen Preis für die jeweils herausragendsten Absolventen gestiftet:
Die Günter-Hotz-Medaille
 
Günter Hotz als einer der Wegbereiter der deutschen und der Saarbrücker Informatik, Mitgründer der Gesellschaft für Informatik und Mitinitiator der "Freunde der Saarbrücker Informatik" hat sich bereit erklärt, mit seinem Namen für den hohen Anspruch dieses Preises zu stehen.
Die Entscheidung über die jeweiligen Preisträger liegt bei der Fachrichtung Informatik der Universität des Saarlandes.
Die Günter-Hotz-Medaille ist die (!) Würdigung herausragender fachlicher Leistungen für Informatik-Absolventen (Masterabschluss oder Diplom)!
Im Folgenden sind die Preisträger mit ihrem jeweiligen Master- bzw. Diplomarbeitsthema und dem jeweiligen Betreuer aufgeführt:
|
Günter-Hotz-Preis Sommersemester 2007
- Catalin Hritcu: "Step-indexed Semantic Model of Type for the Functional Object Calculus" (Prof. Smolka)
Günter-Hotz-Preis Wintersemester 2006/2007
- Mark Kaminski: "Completeness Results for Higher-Order Equational Logic" (Prof. Smolka)
Günter-Hotz-Preis 2006
- David Steurer : "An Asymptotic Approximation Scheme for Multigraph Edge Coloring" (Prof. Mehlhorn)
Preisträger 2005
- Eyad Alkassar: "Constructing a Formal Framework for Modeling and Verifying a Real Operating System" (Prof. Paul)
- Andreas Keller: "A Statistical Framework for the Diagnosis of Meningioma Cancer" (Prof. Lenhof)
- Fabian Suchanek: "Ontological Reasoning for
Natural Language Understanding
" (Prof. Weikum)
Preisträger 2004
- Eric Berberich: "Exact Arrangements of Quadratic Intersection Curves" (PD Schömer)
- Andreas Karrenbauer: "Packing Boxes with Arbitrary Rotations" (PD Eisenbrand)
- Sven Woop: "A Ray Tracing Hardware Architecture for Dynamic Scenes" (Prof. Slusallek)
Preisträger 2003
- Arno Eigenwillig: "Exact Arrangement Computation for Cubic Curves" (PD Schömer)
- Michael Scholl: "Entwurf und Implementierung effizienter Strategien für die Index-basierte Auswertung von XML-Anfragen" (Prof. Weikum)
- Guido Tack: "Linearisation, Minimisation and Transformation of Data Graphs with Transients" (Prof. Smolka)
Preisträger 2002
- Dirk Leinenbach: "Implementierung eines maschinell verifizierten Prozessors" (Prof. Paul)
- Andrey Rybalchenko: "A Model Checker based on Abstraction Refinement" (Prof. Podelski)
- Jan Schwinghammer: "A Concurrent Lambda-Calculus with Promises and Futures" (Prof. Smolka)
Preisträger 2001
|
| 
