Wir gratulieren unserem Kollegen Dominique Marcel Gückel zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 15.10.2014 zum Thema Synthesis of State Space Generators for Model Checking Microcontroller Code statt.