Abschlussarbeiten

Sie möchten Ihre Bachelor- oder Masterarbeit in unserer Arbeitsgruppe schreiben? Melden Sie sich gerne jederzeit unter kevin.batz@uni-muenster.de.

Unsere Themen reichen von theoretischen Fragen zu Programmlogiken bis zur Implementierung und experimentellen Auswertung spannender Algorithmen zur Überprüfung der Korrektheit von Computerprogrammen oder Netzwerken.

Ein Interesse an mathematischen Fragestellungen ist dabei eine gute Grundlage. Je nach Thema können theoretische Überlegungen, algorithmische Entwicklungen oder die praktische Umsetzung im Vordergrund stehen. Falls Sie bereits eine eigene Themenidee haben, besprechen wir diese ebenfalls gerne.