Begin: Fri, 05. of May 2017 ( 1:15 PM)
Location: Warburger Str. 100, Room O3.267
On May 5, 2017, Marie-Christine Jakobs has successfully defended her PhD thesis on "On-The Fly Safety Checking - Customizing Program Certification and Program Restructuring".
Marie-Christine Jakobs is team member of the SFB 901 subproject B4 and her supervisor is Prof. Dr. Heike Wehrheim. We sincerely congratulate Marie-Christine on passing the examination!