| Titel | Typ | Betreuung | Bearbeitung |
|---|---|---|---|
| Quantum Software Templates | Masterarbeit / Bachelorarbeit | Vergeben |
| Titel | Typ | Betreuung | Bearbeitung |
|---|---|---|---|
| Formal Specifications in CbC Engineering using LLMs | Bachelorarbeit | Offen | |
| Quantum Software Templates | Masterarbeit / Bachelorarbeit | Vergeben | |
| Leveraging LLMs for Vulnerability Discovery in Highly-Configurable Software Systems | Bachelorarbeit | In Bearbeitung |