Der FdSI-Bachelor-Preis


Um zu unterstreichen, dass der Bachelor-Abschluss ein vollwertiger berufsbefähigender Abschluss ist, wird von den Freunden der Saarbrücker Informatik auch für Bachelor-Absolventinnen und Absolventen ein Preis vergeben.
Das Professorium der Fachrichtung Informatik wählt aus den besten Bachelor-Abschlüssen des jeweiligen Semesters die Preisträgerinnen und Preisträger aus.
Die Verleihung erfolgt jeweils während der Akademischen Abschlussfeier.




Der FdSI-Bachelor-Preis ist die (!) Würdigung herausragender fachlicher Leistungen von Bachelor-Absolventinnen und Absolventen!


Im Folgenden sind die Preisträgerinnen und Preisträger mit dem jeweiligen Bachelor-Arbeitsthema und der betreuenden Professorin bzw. dem betreuenden Professor aufgeführt:

Sommer 2017

  • Paul Leon Gölz: "Synthesis for Petri Games with One System Player" (Prof. Dr. Bernd Finkbeiner)
  • Edgar Tretschk: "Variational Pansharpening with Nonlinear Anisotropic Diffusion" (Prof. Dr. Joachim Weickert)
  • Dominik Wagner: "Design and Implementation of a CDCL(LA) Calculus" (Prof. Dr. Christoph Weidenbach)

Winter 2016/2017

  • Lucas Convent: "Compositional and Nameless Formalization of HOcore" (Prof. Dr. Gert Smolka)

Sommer 2016

  • Jan Christian Menz: "A Coq Library for Finite Types" (Prof. Dr. Gert Smolka)

Winter 2015/2016

  • Fabian Maximilian Kunze: "Verified Compilation of Weak Call-by-Value Lambda-Calculus into Combinators and Closures" (Prof. Dr. Gert Smolka)
  • Clara Schneidewind: "Regularity and Linearization of Tail-Recursive Programs" (Prof. Dr. Gert Smolka)

Sommer 2015

  • Marc Roth:"The complexity of (parameterized) counting problems on line graphs" (Prof. Dr. Markus Bläser)

Winter 2014/2015

  • Yannick Forster: "A Formal and Constructive Theory of Computation" (Prof. Dr. Gert Smolka)
  • Gereon Fox: "Interactive Visualization of Proof Graphs" (Prof. Dr. Holger Hermanns)
  • Farnziska Müller: "Real-time Hand Tracking Using Hybrid Pose Optimization" (Prof. Dr. Christian Theobalt)

Sommer 2014

  • Andreas Schmidt: "Interactive Visualization of Software Defined Networks" (Prof. Dr. Thorsten Herfet)
  • Katrin Stark: "Quantitative Recursion-Free Process Axiomatization in Coq" (Prof. Dr. Holger Hermanns)

Winter 2013/2014

  • Niklas Grimm: "Lime: A Framework for Data Lineage in the Malicious Environment" (Prof. Dr. Michael Backes)

Sommer 2013

  • Ralf Jung: "An Intermediate Language To Formally Justify Memory Access Reordering" (Prof. Dr. Sebastian Hack)

Winter 2012/2013

  • Sandy Heydrich: "The Efficiency of Fair Division of Chores" (Dr. Rob van Stee)
  • Julia Désirée Krämer: "State vs. Action-based Temporal Logics for Probabilistic Automata" (Prof. Dr. Holger Hermanns)

Sommer 2012

  • Anna Feldmann: "Retrieving Optimally Discriminative Subnetwork Markers to Predict Response to Chemotherapy Using a Color-Coding Technique" (Prof. Dr. Hans-Peter Lenhof)
  • Leander Tentrup: "A compositional proof rule for Extended Coordination Logic" (Prof. Dr. Bernd Finkbeiner)


Winter 2011/2012

  • Sebastian Hahn: "Towards Relational Cache Analysis" (Prof. Dr. Reinhard Wilhelm)
  • Steven Schäfer: "Register-Pressure Sensitive Code Placement " (Prof. Dr. Sebastian Hack)


Sommer 2011

  • Tobias Tebbi: "Correctness of Tableau-Based Decision Procedures with Backjumping" (Prof. Dr. Gert Smolka)


Winter 2010/2011

  • Fabian Aaron Bendun: "Approximation of Bisimulation in Probalistics Metric Systems" (Prof. Dr. Holger Herrmanns)

Sommer 2010

  • Martin Schmidt: " Drift Analysis for Generalised Pseudo-Boolean Linear Functions" (Prof. Dr. Benjamin Doerr)

Winter 2009/2010

  • Radu Curticapean: "Clustering-based Audio Segmentation with Applications to Music Structure Analysis" (Dr. Meinard Müller)


Sommer 2009

  • Karl Bringmann: "Don't bei greedy when calculating hypervolume contributions" (Dr. Tobias Friedrich)
  • Steffen Lösch: "Depth from blur" (Prof. Weickert)


Winter 2008/2009

  • Felix Klein : Thema seiner Bachelor-Arbeit: "Building of Dynamic Acceleration Structures from Hierarchies" (Prof. Slusallek)
  • Raphael Reischuk: Thema seiner Bachelor-Arbeit: "Reconciling Copying and Trailing for Constraint Programming Systems" (Prof. Smolka)


Sommer 2008


  • Dominik Grewe: Thema seiner Bachelor-Arbeit: "Static Congruence Analysis in Binaries" (Prof. Wilhelm)


Winter 2007/2008


  • Christian Doczkal: Thema seiner Bachelor-Arbeit: "Strong normalization of call-by-push-value" (Gerd Smolka)
  • Kim Pecina: Thema seiner Bachelor-Arbeit: "Mechanized Verfication of Security Protocols Using Causality-based Abstractions" (Prof. Backes)


Sommer 2007


  • Michaela Götz: Thema ihrer Bachelor-Arbeit: "On the Complexity of Tree Pattern Matching" (Prof. Koch)


WS 2006/07


  • Christian Eisentraut: Thema seiner Bachelor-Arbeit: "Strongly Convergent Weak Bisimulation Congruence" (Prof. Hermans)
Freunde der Saarbrücker Informatik