Dominique Gückel promoviert

promotion_gueckel.jpg promotion_gueckel2.jpg

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.


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland