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 ein Preis vergeben.
Das Professorium der Fachrichtung Informatik wählt aus den besten Bachelor-Abschlüssen des jeweiligen Semesters die PreisträgerInnen aus.
Die Verleihung erfolgt jeweils während der Akademischen Abschlussfeier.

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

Im Folgenden sind die PreisträgerInnen mit der betreuenden Professorin bzw. dem betreuenden Professor aufgeführt:


  • Tim Nico Bauerschmidt (Prof. Dr. Jilles Vreeken)
  • Jonathan Baumann (Prof. Dr. Sebastian Hack)
  • Iona Kuhn (Prof. Dr. Bernd Finkbeiner)
  • Janine Susanne Lohse (Prof. Dr. Bernd Finkbeiner)
  • Gideon Mohr (Prof. Dr. Jan Reineke)
  • Lisa-Marie Rolli (Prof. Dr. Hans-Peter Lenhof)

Absolventenfeier 2023

  • Lorenz Hetterich: „Exploiting Spectre in iOS“
  • Johannes Matthias Hostert: „The Undecidability Of First-Order Logic over Small Signatures“ (Prof. Dr. Gert Smolka)
  • Mark Koch: „Mechanizing Second-Order Logic in Coq“ (Prof. Dr. Gert Smolka)
  • David Wagmann: „TSC Tiles: A Toolbox for the Fabrication of DiY Texture Surface Changes“ (Prof. Dr. Jürgen Steimle)


  • Raven Beutner: „Translating Asynchronous Games for Distributed Synthesis“ (Prof. Dr. Bernd Finkbeiner)
  • Simon Spies: „Formalising the Undecidability of Higher-Order Unification“ (Prof. Dr. Gert Smolka)
  • Dominik Wehr: „A Constructive Analysis of First-Order Completeness Theorems in Coq“ (Prof. Dr. Gert Smolka)


  • Julian Dörfler: „An efficient data structure for finding Pareto-Optimal points“ (Dr. Karl Bringmann, Prof. Dr. Kurt Mehlhorn)
  • Nick Robin Fischer: „Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours“ (Prof. Dr. Holger Hermanns)

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)