Für seine Dissertation "Small Dynamic Complexity Classes" wurde Dr. Thomas Zeume mit dem E.W. Beth Dissertationspreis 2016 ausgezeichnet.
Der E.W. Beth Dissertationspreis wird jährlich von der "Association for Logic, Language and Information" vergeben (http://www.folli.info/). Weitere Information zu diesem Preis finden sich unter en.wikipedia.org/wiki/E._W._Beth_Dissertation_Prize.
Die Auszeichnung für 2016 wurde am 23. August bei der European Summer School in Logic, Language and Information in Bozen überreicht.
In der ausgezeichneten Dissertation untersuchte Dr. Zeume einerseits die Struktur kleiner dynamischer Komplexitätsklassen sowie deren Beziehung zu klassischen, statischen Komplexitätsklassen. Andererseits entwickelte er neue Methoden, die die Grenzen der Ausdrucksstärke von Logiken in dynamischen Szenarien aufzeigen. Betreut wurde Dr. Zeume in seiner Promotionszeit von Prof. Thomas Schwentick.