Norbert Manthey von der Fakultät Informatik der TU Dresden wurde beim derzeit stattfindenden "Wiener Logik-Sommer" mit zwei Kurt-Gödel-Medaillen prämiert.

Zum „Wiener Logik-Sommer“ (9. - 24.7.14, TU Wien) gehört die "Federate Logic Conference" mit wiederum mehr als zehn Einzelkonferenzen. Ein neuer Bestandteil dieser Konferenzen sind die "Olympischen Spiele". Hier werden internationale Wettbewerbe der Logikforschung vereint.

Der 27-Jährige beteiligte sich zusammen mit dem Studenten Enrique Matos Alfonso an einem der Wettbewerbe, der "SAT Competition", in dem Erfüllbarkeitsprobleme gelöst oder optimiert werden sollten. Das sind kombinatorische Probleme, mit denen beispielsweise Schaltkreise verifiziert werden, Fahrpläne oder Produktkonfigurationen erstellt werden können.

„Ich freue mich sehr über diese Auszeichnung, da es ein sehr harter Wettbewerb ist“, sagt Norbert Manthey, Wissenschaftlicher Mitarbeiter an der Professur für Wissensverarbeitung. Bereits im Vorjahr konnte er mit
weiteren Nachwuchswissenschaftlern seiner Fakultät auf der Konferenz überzeugen: Die Gruppe wurde für die beste Publikation ausgezeichnet und konnte mehrere Preise in damaligen Wettbewerben gewinnen.

„In der nächsten Zeit werden wir uns mehr auf Anwendung konzentrieren als auf Grundlagenforschung“, so Manthey. "Damit kommen wir im Moment noch zu wenig in Berührung." Auf die Weiterentwicklung ihrer Wettbewerbssysteme möchten die jungen Forscher dennoch nicht verzichten: „Vielleicht gehören wir im nächsten Jahr dann wieder zu den Gewinnern."

Informationen für Journalisten:
Norbert Manthey
Tel.: 0351 463-38520