Arbeitsgruppe Zuverlässige Systeme

Promotion Johannes Traub

21.12.2015

Johannes Traub hat heute seine Dissertation "Formal Verification of Concurrent Embedded Software" mit Erfolg verteidigt. Der externe Opponent war Martin Leucker, Universität zu Lübeck. Herzlichen Glückwunsch!