| Title | Type | Supervision | Status |
|---|---|---|---|
| Quantum Software Templates | Master's thesis / Bachelor's thesis | Assigned |
| Title | Type | Supervision | Status |
|---|---|---|---|
| Leveraging LLMs for Vulnerability Discovery in Highly-Configurable Software Systems | Bachelor's thesis | Ongoing | |
| Formal Specifications in CbC Engineering using LLMs | Bachelorarbeit | Open | |
| Quantum Software Templates | Master's thesis / Bachelor's thesis | Assigned |