Internationale Anerkennung für Bachelorarbeit

Felix Dörre erhält für seine Bachelorarbeit den International Student Award for Outstanding Undergraduate Research des Vienna Center for Logic and Algorithms (VCLA). Die Preisverleihung fand am 16. April 2016 an der TU Wien statt.


Felix Dörre stellt bei der Preisverleihung in Wien seine Bachelorarbeit vor. (Foto: Matthias Schlaipfer)

Felix Dörre studiert aktuell im Master Informatik am Karlsruher Institut für Technologie (KIT). Seine Bachelorthesis mit Schwerpunkt in formalen Methoden für IT-Sicherheit fertigte er am Institut für Theoretische Informatik bei Prof. Bernhard Beckert an. In der Arbeit beschäftigte er sich mit der Qualitätssicherung von Pseudozufallszahlengeneratoren (Pseudo-random Number Generators, PRNGs).

PRNGs sind eine sicherheitskritische aber fehleranfällige Komponente in vielen Systemen. Fehler darin werden heutzutage jedoch hauptsächlich durch manuelle Code-Inspektion gefunden. In seiner Arbeit entwickelte Felix Dörre ein logikbasiertes Verifikations-Werkzeug für PRNGs. Teile der Arbeit sind bei der internationalen Konferenz "Verified Software: Theories, Tools, and Experiments" veröffentlicht worden.

Der International Student Award wird seit 2014 vom VCLA an Informatik-Studierende für herausragende wissenschaftliche Arbeiten im Feld der Logik verliehen, die in die Bereiche Datenbanken und KI, Verifikation oder „Computational Logic“ fallen.