| Title | Type | Semester |
|---|---|---|
| Timed Systems | Vorlesung (V) | SS 2023 |
| Timed Systems | Vorlesung (V) | SS 2023 |
| Title | Type | Semester |
|---|---|---|
| Proseminar Explainable Autonomous Agents | Proseminar (PS) | WS 24/25 |
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 24/25 |
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 23/24 |
| Proseminar: Moral Autonomous Agents | Proseminar (PS) | WS 23/24 |
| Proseminar Self-Explanability of Software Systems: AI meets theoretical computer science | Proseminar (PS) | SS 2023 |
Final theses
If you are interested in writing a Bachelor's or Master's thesis with us, please contact us by e-mail. We always have a variety of topics in mind and would be happy to discuss suitable topics with you. The following list is just a sample of topics: