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 |