Begin: Mon, 24. of Jun 2013 ( 4:15 PM)
Location: Warburger Str. 100
On June 24, 2013, Nils Timm has successfully defended his PhD thesis on
"Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems".
Nils Timm is team member of the SFB 901 subproject B4 and his supervisor
is Prof. Dr. Heike Wehrheim. We sincerely congratulate Nils on passing the examination!
