| Title | Type | Supervision | Status |
|---|---|---|---|
| Quantum Software Templates | Master's thesis / Bachelor's thesis | Assigned | |
| Modular Threat and Risk Analysis for Cyber-Physical Systems | Master's thesis / Bachelor's thesis | Open | |
| Resource Consumption in by-Construction Engineering | Master's thesis / Bachelor's thesis | Open | |
| Synthesizing CbC Programs From Formal Specifications using LLMs | Master's thesis | Open |
| Title | Type | Supervision | Status |
|---|---|---|---|
| Resource Consumption in by-Construction Engineering | Master's thesis / Bachelor's thesis | Open | |
| Quantum Software Templates | Master's thesis / Bachelor's thesis | Assigned | |
| Modular Threat and Risk Analysis for Cyber-Physical Systems | Master's thesis / Bachelor's thesis | Open | |
| Leveraging LLMs for Vulnerability Discovery in Highly-Configurable Software Systems | Bachelor's thesis | Ongoing |