Begin: Thu, 16. of Nov 2017 ( 1:15 PM)
Location: Warburger Str. 100, room O4.267
On November 16, 2017, Sven Walther has successfully defended his PhD thesis on "Knowledge-based Verification of Service Compositions".
Sven Walther was team member of the SFB 901 subproject B3 and his supervisor is Prof. Dr. Heike Wehrheim. We sincerely congratulate Sven on passing the examination!