Theses

In addition to the theses advertised on this page, we usually have additional flexible topics for qualification theses. Just approach a group member, mention your areas of interest and fix a date to talk about possible theses.

Available Theses
Title Subject Supervisor Type
Succinct Data Structures Masterarbeit
Masterarbeit
Parallel and distributed algorithms, SAT Solving, automated planning Bachelor-/Masterarbeit
Fault-Tolerance, Map Reduce, HPC Masterarbeit
SAT-based Product Configuration

Dr. Tomas Balyo, Dr. Markus Iser

Externe Masterarbeit
Relaxed Priority Queues with Dynamic Quality Masterarbeit
Masterarbeit
A Novel SAT Solver Architecture

Markus Iser, Tomas Balyo

External Master Thesis
String/Distributed Algorithms Masterarbeit
Nearest Neighbor Search, Graph Algorithms

Lars Gottesbüren

Masterarbeit
Distributed Suffix Sorting

Matthias Schimek, Florian Kurpicz

Masterarbeit
Malleability, HPC Masterarbeit
Data-Driven Automatic and Optimal Evaluation of SAT Solvers

Markus Iser, Jakob Bach

Masterarbeit
Completed student theses
Title Graduand Supervisor Year Type

Stefan Hermann

November 2023 Masterarbeit

Max Willich

Moritz Laupichler

Oktober 2023 Masterarbeit

Kevin Frisen

Moritz Laupichler, Peter Sanders

August 2023 Bachelorarbeit

Jan Benedikt Schwarz

July 2023 Masterarbeit

Tobias Fuchs

Dr. Markus Iser
Jacob Bach (IPD Prof. Böhm)

Mai 2023 Masterarbeit

Tobias Paweletz

March 2023 Bachelorarbeit

Nikolai Maas

Tobias Heuer

Februar 2023 Masterarbeit

Cedrico Knoesel

Lars Gottesbüren, Tobias Heuer, Daniel Seemaier

Juli 2022 Bachelorarbeit

Nicolai Hüning

Daniel Funke, Peter Sanders

Juli 2022 Bachelorarbeit

Tan Grumser

Peter Sanders, Dominik Schreiber

May 2022 Bachelorarbeit

Michael Dörr

Dominik Schreiber

May 2022 Bachelorarbeit

Alexander von Heyden

Peter Sanders, Peter Vortisch (IVF), Jelle Kübler (IVF)

April 2022 Bachelorarbeit

Dominik Bez

Masterarbeit

Nikolai Schnell

Peter Sanders, Dominik Schreiber

December 2021 Masterarbeit

Moritz Laupichler

Peter Sanders, Tobias Heuer, Lars Gottesbüren (ITI Wagner)

November 2021 Masterarbeit

Marcel Hollerbach

Masterarbeit

Manuel Haag

Peter Sanders, Tobias Heuer, Daniel Seemaier

September 2021 Bachelorarbeit

Malte Sönnichsen

Dominik Schreiber, Markus Iser

August 2021 Masterarbeit

Silke Teresa Donayre Holtz

Peter Sanders, Uğur Çayoğlu, Pascal Friederich

August 2021 Masterarbeit

Charel Mercatoris

Peter Sanders, Demian Hespe, Lukas Hübner

August 2021 Masterarbeit

Robert Krause

Peter Sanders, Tobias Heuer, Lars Gottesbüren (ITI Wagner)

Juni 2021 Bachelorarbeit

Tim Niklas Uhl

Peter Sanders, Sebastian Lamm

Juni 2021 Masterarbeit

Maximilian Schick

Peter Sanders, Dominik Schreiber

April 2021 Master Thesis

Raphael von der Grün

Peter Sanders

April 2021 Master thesis

Hans-Peter Lehmann

Peter Sanders, Carsten Dachsbacher, Lorenz Hübschle-Schneider, Emanuel Schrade

December 2020 Master thesis

Robin Link

Peter Sanders, Markus Iser

October 2020 Bachelor Thesis

Christian Schorr

Demian Hespe, Sebastian Lamm, Peter Sanders

September 2020 Bachelor Thesis

Jakob Nedlin

Dennis Hofheinz, Peter Sanders

June 2020 Masterarbeit

Lukas Hübner

Alexandros Stamatakis, Peter Sanders, Alexey Kozlov, Demian Hespe

June 2020 Master Thesis

Alexander Gellner

Sebastian Lamm, Christian Schulz, Darren Strash, Bogdán Zaválnij

June 2020 Master Thesis

Collin Lorbeer

Lorenz Hübschle-Schneider

April 2020 Bachelorarbeit

Lukas Reister

Tobias Heuer

April 2020 Masterarbeit

Tobias Fuchs

Christian Schulz

Daniel Seemaier

Tobias Heuer

March 2020 Bachelorarbeit

Daniel Seemaier

Christian Schulz, Peter Sanders, Sebastian Schlag

02.03.2020 Masterarbeit

Nikolai Maas

Sebastian Schlag

Tobias Heuer

February 2020 Bachelorarbeit

Tobias Ribizel

Dr. Christian Schulz
Sebastian Schlag

September 2019 Masterarbeit

Marvin Williams

Dominik Schreiber

September 2019 Masterarbeit

Nils Froleyks

Tomáš Balyo, Dominik Schreiber

September 2019 Masterarbeit

Jean-Pierre von der Heydt

Tomáš Balyo, Dominik Schreiber

August 2019 Bachelorarbeit

Matthias Schimek

2019-07-08 Masterarbeit

Jan Benedikt Schwarz

Tobias Maier

May 2019 Bachelorarbeit

Jasper Marianczuk

2019-05-09 Bachelorarbeit

Patrick Firnkes

Sebastian Schlag
Tobias Heuer

April 2019 Masterarbeit

Robert Williger

Tobias Maier

March 2019 Masterarbeit

Damir Ferizovic

Peter Sanders, Demian Hespe, Sebastian Lamm, Matthias Mnich, Christian Schulz, Darren Strash

March 2019 Master Thesis

Jens Manig

December 2018 Bachelorarbeit

Tom George

Peter Sanders, Demian Hespe, Sebastian Lamm

November 2018 Bachelor Thesis

Katharina Flügel

Prof. Dr. Peter Sanders

2018 Bachelorarbeit

Holger Ebhart

Tobias Maier

September 2018 Masterarbeit

Guangping Li

Tomas Balyo

2018 Masterarbeit

Samuel Kalbfleisch

Tobias Maier

August 2018 Bachelorarbeit

Clemens Öhl

Peter Sanders, Sebastian Schlag, Christian Schulz

31.05.18 Bachelorarbeit

Matthias Schmitt

Peter Sanders, Sebastian Schlag, Christian Schulz

25.06.18 Bachelorarbeit

Charel Mercatoris

Peter Sanders, Sebastian Schlag, Christian Schulz

09.11.2018 Bachelorarbeit

Kai Fieger

Tomas Balyo

November 2018 Masterarbeit

Dominik Schreiber

Humbert Fiorino, Damien Pellier, Tomas Balyo

2018 Masterarbeit

Dominik Schreiber

Humbert Fiorino, Damien Pellier, Tomas Balyo

2018 Masterarbeit

Vincent Winkler

Daniel Funke

2018 Bachelorarbeit

Patrick Hegemann

Tomas Balyo

2018 Bachelorarbeit

Florian Gauger

Peter Sanders, Timo Bingmann, Simon Gog

2018-02-14 Masterarbeit

Tobias Heuer

Peter Sanders, Sebastian Schlag

05.01.2018 Masterarbeit

Robin Andre

Peter Sanders, Sebastian Schlag, Christian Schulz

29.11.2017 Bachelorarbeit

Henning Schulze

Tobias Maier

November 2017 Bachelorarbeit

Yani Kolev

Peter Sanders, Sebastian Schlag, Christian Schulz

02.11.2017 Bachelorarbeit

Daniel Seemaier

Peter Sanders, Sebastian Schlag, Christian Schulz

08.11.2017 Bachelorarbeit

Orlin Kolev

Peter Sanders, Sebastian Schlag

30.10.2017 Diplomarbeit

Friedrich Schroedter

Daniel Funke

2017 Diplomarbeit

Stephan Gocht

Tomas Balyo

Masterarbeit

Wei Zhou

Peter Sanders

30.03.2017 Masterarbeit

Armin Wiebigke

Michael Axtmann, Peter Sanders

28.02.2017 Bachelorarbeit

Nils Froleyks

Tomas Balyo

23.2.2017 Bachelorarbeit

Demian Hespe

Peter Sanders, Christian Schulz, Darren Strash

January 2017 Masterarbeit

Sebastian Lamm

Peter Sanders, Christian Schulz, Darren Strash

Masterarbeit

Guangping Li

Tomas Balyo

Bachelorarbeit

Alexander Noe

Timo Bingmann

2017-01-10 Masterarbeit

Marvin Williams

Christian Schulz, Darren Strash

9.1.2017 Bachelorarbeit

Kai Fieger

Tomas Balyo, Peter Sanders

7.11.2016 Bachelorarbeit

Robert Williger

Peter Sanders, Christian Schulz, Darren Strash

6.11.2016 Bachelorarbeit

Daniel Ferizovic

Peter Sanders

10.03.2016 Bachelorarbeit

Jonas Fuchs

Peter Sanders

18.12.2015 Masterarbeit

Jan Ebbing

Peter Sanders, Christian Schulz, Darren Strash

Peter Sanders, Christian Schulz, Darren Strash

Julian Labeit

Peter Sanders

02.11.2015 Bachelorarbeit

Tobias Heuer

Peter Sanders, Sebastian Schlag

25.08.2015 Bachelorarbeit

Christian Ocker

Peter Sanders

29.05.2015 Masterarbeit

Vitali Henne

Henning Meyerhenke, Peter Sanders, Sebastian Schlag, Christian Schulz

Masterarbeit

Tobias Maier

Jochen Speck

20.03.2015 Masterarbeit

Damir Ferizovic

Peter Sanders

25.02.2015 Bachelorarbeit

Moritz Klammler

Jochen Speck

11.11.2014 Bachelorarbeit

Moritz Klammler

Jochen Speck

11.11.2014 Bachelorarbeit

Demian Hespe

Peter Sanders

30.10.2014 Bachelorarbeit

Michael Wegner

Christian Schulz, Peter Sanders

2014-10-02 Bachelorarbeit

Klaus Lukas Hübner

2014-09-30 Bachelorarbeit

Sebastian Lamm

Christian Schulz, Peter Sanders

Bachelorarbeit

Niklas Baumstark

Peter Sanders

20.10.2014 Bachelorarbeit

Thomas Keh

Timo Bingmann

2014-07-11 Bachelor Thesis

Andreas Eberle

2014-05-15 Bachelor Thesis

Florian Merz 

Peter Sanders 

9. Dezember 2013 Diplomarbeit

Andreas Wagner 

Peter Sanders, Nitin Ahuja, Christian Schulz 

20. Dezember 2013 Diplomarbeit

Wei Zhou

Peter Sanders, Ingo Müller

05.11.2013 Bachelorarbeit

Jonathan Dimond

28.08.2013 Diplomarbeit

Sebastian Schlag

Peter Sanders, Ingo Müller

10.07.2013 Masterarbeit

Daniel Funke

2013-06-21 Masterarbeit

Stephan Erb

Moritz Kobitzsch

Peter Sanders

Masterarbeit

Julian Arz

2013 Diplomarbeit

Daniel Feist

2013-04-11 Bachelorarbeit

Harris Kaufmann

2013-03-15 Bachelorarbeit

Jonas Fietz

Vincent Heuveline, Mathias Krause, Peter Sanders, Christian Schulz

Dezember 2011

Marcel Birn

Florian Ziegler

Vitaly Osipov, Peter Sanders, Christian Schulz

laufend

Sascha Denis Knöpfle

2012-11-14 Bachelorarbeit

Marcel Radermacher

Moritz Kobitzsch

Dennis Schieferdecker

2012 Bachelorarbeit
Bachelor- oder Masterarbeit

Raoul Steffen

2011 Diplomarbeit

Maximilian Schuler

Peter Sanders, Christian Schulz

Dezember 2011

Patrick Flick

2011 Bachelorarbeit

Raoul Steffen

J. Singler

2010 Studienarbeit

Jochen Seidel

2010 Diplomarbeit

D. Karch

2010 Diplomarbeit

N. Leischner

V. Osipov

2010 Diplomarbeit

Marc Schmitzer

2010 Diplomarbeit

Jochen Seidel

2010 Studienarbeit

Christian Vetter

2010 Diplomarbeit

Jonathan Dees

2009 Diplomarbeit

Sabine Neubauer

2009 Diplomarbeit

Tim Kieritz

2009 Diplomarbeit

Moritz Kobitzsch

R. Geisberger

2009 Diplomarbeit

Ingmar Wirths

P. Sanders

2009 Studienarbeit

Jun Long

P. Sanders

2009 Diplomarbeit

Christian Vetter

G.V. Batz

2009 Studienarbeit

Dominik Itte

D. Schieferdecker, M. Huber (ISAS)

Studienarbeit

Christian Schulz

P. Sanders

Diplomarbeit

Sabine Neubauer

G.V. Batz

2009 Studienarbeit

Marius Elvert

J. Singler

2009 Studienarbeit

Marcel Birn

J. Singler

2009 Studienarbeit

Martin Wolff

M. Houle (NII Tokio), P. Sanders

2008 Diplomarbeit

Hui Ma

P. Sanders, C. Schön (WIOR)

Diplomarbeit

Robert Geisberger

D. Schultes

2008 Diplomarbeit

Jakob Blomer

J. Singler

2008 Diplomarbeit

Lars Volker

D. Schultes

2008 Studienarbeit

Markus Westphal

R. Dementiev

2008 Studienarbeit

Robert Geisberger

D. Schultes

2008 Studienarbeit

Manuel Holtgrewe

J. Singler

2008 Studienarbeit

Tim Kieritz

J. Singler

2008 Studienarbeit

Fabian Kulla

P. Sanders 2006 Diplomarbeit

Timo Fabian Horst Bingmann

P. Sanders, D. Schultes 2006 Studienarbeit

Eric Ndengang Foyet

P. Sanders, R. Dementiev

2006 Studienarbeit

Jan Wassenberg

P. Sanders 2006 Studienarbeit

Johannes Singler

P. Sanders 2005 Diplomarbeit

Karsten Sperling

P. Sanders 2005 Diplomarbeit

Peter Sanders

Prof. em. Dr. Roland Vollmar

1994 Diplomarbeit