Die Günter-Hotz-Medaille

 

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 Winter 2016/2017

  • Christoph Michel: "Maliciously Secure Controlled Functional Encryption" (Prof. Dr. Dominique Schröder)

Günter-Hotz-Preise Sommer 2016

  • Omar Mohamed Darwish: "Market Equilibrium Computation for the Linear Arrow-Debreu Model" (Prof. Dr. Kurt Mehlhorn)
  • Franziska Müller: "Real-Time Hand-Object Tracking Using a Single Depth Camera" (Prof. Dr. Christian Theobalt)

Günter-Hotz-Preis Winter 2015/2016

  • Andreas Schmidt: "Network Traffic and Infrastructure Analysis in Software Defined Networks" (Prof. Dr. Thorsten Herfet)

Günter-Hotz-Preise Sommer 2015

  • Mohamed Gad-Elrab: "AIDArabic+: Named Entity Disambiguation for Arabic Text" (Prof. Dr. Gerhard Weikum)
  • Julia Désirée Krämer: "Attack-Defence Graphs - On the Formalisation of Security-Critical Systems" (Prof. Dr. Holger Hermanns)
  • Marcel Steinmetz: "Learning Dead Ends Through Explicit Conjunctions" (Prof. Dr. Jörg Hoffmann)

 

Günter-Hotz-Preis Winter 2014/2015

  • Giorgi Maisuradze: "Implementing and Debugging a Pipelined Multi-core MIPS Machine" (Prof. Dr. Wolfgang Paul)

Günter-Hotz-Preise Sommer 2014

  • Gorav Jindal: "Randomness Efficient Testing of Sparse Black Box Polynomials and Related Tests" (Prof. Dr. Markus Bläser)
  • Thatchaphol Saranurak: "PosSLP and The Monotone Complexity of Computing Integers" (Prof. Dr. Markus Bläser)

Günter-Hotz-Preis Winter 2013/2014

  • Leander Tentrup:" Detecting Unrealizable Specifications of Distributed Systems" (Prof. Bernd Finkbeiner, PhD)

Günter-Hotz-Preise Sommer 2013

  • Florian Benz: "Heuristics for the Smallest Grammar Problem" (Prof. Dr. Kurt Mehlhorn)
  • Sigurd Schneider: "Semantics of an Intermediate Language for Program Transformation" (Prof. Dr. Gert Smolka)
  • Tobias Tebbi: "Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification" (Prof. Dr. Gert Smolka)

Günter-Hotz-Preis Winter 2012/2013

  • Marvin Stefan Künnemann:"A Quantization Framework for Smoothed Analysis on Euclidean Optimization Problems" (Prof. Dr. Markus Bläser)

Günter-Hotz-Preise Sommer 2012

  • Pascal Lessel: "Personalized Digital Restaurant Menu / Study of User Expectations, Implementation and Evaluation" (Prof. Dr. Antonio Krüger)
  • Frederic Kerber: "OpenIndoorMap /  Smartphone-based capture of uninstrumented indoor environments" (Prof. Dr. Antonio Krüger)

Günter-Hotz-Preis Winter 2011/2012

  • Eva May: "Using Indirect Calls in Unit Testing" (Prof. Dr. Andreas Zeller)

 

Günter-Hotz-Preis Sommer 2011

  • Adrian Neumann: "Implementation of Schmidt's Algorithm for Certifying Triconnectivity Testing" (Prof. Dr. Kurt Mehlhorn)

 

Günter-Hotz-Preise Winter 2010/2011

  • Karl Bringmann: " An Improved Algorithm for Klee's Measure Problem on Fat Box" (Prof. Dr. Raimund Seidel)
  • Radu Curticapean: " Holographic Algorithms and their Applications in Graph Polynomials" (Prof. Dr. Markus Bläser)

 

Günter-Hotz-Preis Sommer 2010

  • Silke Jansen: "Symmetry Detection in Images Using Belief Propagation" (Dr. Wand / Prof. Dr. Hans-Peter Seidel)

 

Günter-Hotz-Preis Winter 2009/2010

  • David Spieler: " Model Checking of Oscillatory and Noisy Periodic Behavior in Markovian Population Models" (Dr. Verena Wolf und Prof. Dr. Holger Hermanns)

 

Günter-Hotz-Preise Sommer 2009

  • Fabian Müller: "Assessing antibody neutralization of HIV-1 as an initial step in the search for gp160-based immunogens" (Prof. Lengauer)
  • Markus Rabe: "Optimal Schedulers for Time-Bouded Reachability in CTMDPs" (Prof. Finkbeiner)

 

Günter-Hotz-Preis 2008/2009

  • Marek Hamerlik: "Anonymity and Censorship Resistance in Semantic Overlay Networks" (Dr. Matteo Maffei) )

 

Günter-Hotz-Preis Sommer 2008

  • Pascal Gwosdek : "Realtime Optical Flow Algorithms on the Cell Processor" (Prof. Weickert)

 

Günter-Hotz-Preis 2007/2008

  • Moritz Hardt : "Testing polynomial identities with fewer random bits " (Prof. Bläser)

 

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

 

 

 

Freunde der Saarbrücker Informatik