Inhalte: Das Modul gibt einen Einblick in ein ausgewähltes Gebiet der theoretischen Informatik, beispielsweise über fortgeschrittene Aspekte der Komplexitätstheorie, der Algorithmik, oder der Theorie der Programmiersprachen. Zusätzlich werden Forschungsfragen und Anwendungsbereiche berührt.