Begin: Tue, 10. of May 2016 ( 5:05 PM)
Location: Warburger Str. 100, Room O4.267
On May 10, 2016, Tobias Isenberg has successfully defended his PhD thesis on "Induction-based Verification of Timed Systems".
Tobias Isenberg was team member of the SFB 901 subproject B4 and his supervisor is Prof. Dr. Heike Wehrheim. We sincerely congratulate Tobias on passing the examination!
