Wir gratulieren unserem Kollegen Sebastian Biallas zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 14.07.2016 zum Thema Verification of Programmable Logic Controller Code using Model Checking and Static Analysis statt.