Wir gratulieren unserer Kollegin Ibtissem Ben Makhlouf zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 26.1.2016 zum Thema Comparative Evaluation and Improvement of Computational Approaches to Reachability Analysis of Linear Hybrid Systems statt. Der übliche Umzug zum Rathaus hatte auch dieses Mal wieder einen einfachen Rückweg, da unser Mitarbeiter im Rollstuhl, Herr Dzenan Dzafic, auf dem Rückweg kräftig mithalf.