| Art | Name |
|---|---|
| masters thesis | String Diagrams for Lean 4 |
Nichts gefunden?
- Manchmal haben wir noch neue Themen, die hier noch nicht aufgeführt sind.
- Wir sind natürlich auch für Ihre Vorschläge im Bereich der Thematik des Lehrstuhls offen.
- Bachelorarbeiten können teilweise auch als HiWi bearbeitet werden.
- Manche Bachelorarbeiten lassen sich zu Masterarbeiten ausweiten und umgekehrt.
Für Details am besten persönlich vorbeikommen.