Sebastian Biallas promoviert

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.


2016_promotion_biallas_1.jpg 2016_promotion_biallas_2.jpg


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