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 erstmals für Bachelor-Absolventinnen und Absolventen der FdSI-Bachelor-Preis vergeben.
Die Professoren der Fachrichtung Informatik wählen aus den besten Bachelor-Abschlüssen des jeweiligen Semesters die Preisträgerin bzw. den Preisträger aus. Neben einer Urkunde, welche die fachliche Brillianz bestätigt, erhalten die Preisträger einen Büchergutschein.
Die Verleihung erfolgt jeweils während der Akademischen Abschlussfeier.

 

 

 

Der FdSI-Bachelor-Preis ist die Würdigung herausragender fachlicher Leistungen von "Bachelors"!

 

Im Folgenden sind die Preisträger und die Abschluss-Besten mit dem jeweiligen Bachelor-Arbeitsthema aufgeführt:

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

FdSI-Bachelor-Preisträgerin:

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

 

Winter 2007/2008

FdSI-Bachelor-Preisträger:

  • Kim Pecina: Thema seiner Bachelor-Arbeit: "Mechanized Verfication of Security Protocols Using Causality-based Abstractions " (Prof. Backes)

 

Sommer 2007

FdSI-Bachelor-Preisträgerin:

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

 

WS 2006/07

FdSI-Bachelor-Preisträger:

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