Logik in der Informatik Prof. Dr. Martin Grohe

Diplomarbeitsthemen können in allen Bereichen der theoretischen Informatik vergeben werden, beispielsweise in der Logik, Komplexitätstheorie, Algorithmik, Graphentheorie oder Datenbanktheorie. Wenn Sie Interesse an einem dieser Themen, aber auch an Themen aus anderen Bereichen, hätten, oder wenn Sie selbst Themenvorschläge haben, dann können Sie sich jederzeit an Prof. Grohe oder einen Mitarbeiter des Lehrstuhls wenden.

Voraussetzung für die Vergabe eines Themas sind fundierte Kenntnisse in der theoretischen Informatik, die auch durch die erfolgreiche Teilnahme an Hauptstudiumsvorlesungen und Seminaren in der theoretischen Informatik belegt sein sollten. Manche der Themen erfordern speziellere Vorkenntnisse, auf die wir in einer Vorbesprechung eingehen.