| Title | Type | Supervision | Status |
|---|---|---|---|
| Program synthesis from formal specifications in the CorC tool | Master's thesis | Open | |
| Optimization of the verification of correctness-by-construction product lines in the tool VarCorC | Master's thesis | Open | |
| Data-driven modeling of a scenario space | Master's thesis | Open | |
| Sampling strategies for scenario selection | Master's thesis | Open | |
| Investigate the influence of different warm-start and mixing operators on QAOA forweighted-SAT problems | Master's thesis | In progress | |
| Enhancing Grover's Search for solving Satisfiability (SAT) Problems | Master's thesis | In progress |
| Title | Type | Supervision | Status |
|---|---|---|---|
| Safe Mobility of the Future: A Case Study | Bachelor's thesis | Open | |
| Pattern recognition for quantum algorithms | Bachelor's thesis | In progress | |
| Case Study Scenario Sampling | Bachelor's thesis | Open | |
| Investigating the potentials for tool support in deploying quantum circuits to physical backends | Bachelor's thesis | In progress |