====== Dominique Gückel promoviert ======

{{:lehrstuhl:neuigkeiten:promotion_gueckel.jpg?370}} {{:lehrstuhl:neuigkeiten:promotion_gueckel2.jpg?142}}

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.