Offene Arbeiten

Das Fachgebiet vergibt fortlaufend Projekt-, Bachelor- oder Masterarbeit zu folgenden Themenschwerpunkten:

• Logik (z.B. Model-Checking von Programmen, Komplexitätstheorie, oder formaler Verifikation von Beweisen mittels Theorembeweisern)
• Machine Learning (insbesondere im Bereich der Verifikation verschiedener Modelle neuronaler Netze)
• Bildungstechnologien (z.B. Einsatz formaler Methoden zur Generierung automatisierten Feedbacks sowie Front- und Backendentwicklung entsprechender Lerntools)

Eigene Vorschläge und Ideen sind natürlich gerne willkommen!
Bei Interesse an einer Arbeit am Fachgebiet wenden Sie sich bitte an Norbert Hundeshagen (hundeshagen[at]uni-kassel[dot]de)