Dependable Systems Group

PhD Johannes Traub

Dec 21, 2015

Today, Johannes Traub has successfully defended his PhD thesis "Formal Verification of Concurrent Embedded Software". The external opponent has been Martin Leucker, University of Lübeck. Congratulations!