Thesis

Master thesis
Title	Type	Supervision	Status
Enhancing Grover's Search for solving Satisfiability (SAT) Problems	Master's thesis	Tim Bittner Joshua Ammermann	In progress
Investigate the influence of different warm-start and mixing operators on QAOA forweighted-SAT problems	Master's thesis	Tim Bittner Joshua Ammermann	In progress
Optimization of the verification of correctness-by-construction product lines in the tool VarCorC	Master's thesis	Tabea Bordis	Open
Program synthesis from formal specifications in the CorC tool	Master's thesis	Tabea Bordis	Open
Data-driven modeling of a scenario space	Master's thesis	Lukas Birkemeyer	Open
Sampling strategies for scenario selection	Master's thesis	Lukas Birkemeyer	Open

Bachelor thesis
Title	Type	Supervision	Status
Pattern recognition for quantum algorithms	Bachelor's thesis	Tim Bittner Joshua Ammermann Christoph König	In progress
Case Study Scenario Sampling	Bachelor's thesis	Lukas Birkemeyer	Open
Investigating the potentials for tool support in deploying quantum circuits to physical backends	Bachelor's thesis	Tim Bittner Joshua Ammermann	In progress