====== 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.

\\

<IMGALIGN>
{{:lehrstuhl:neuigkeiten:2016_Promotion_Biallas_1.jpg}}
{{:lehrstuhl:neuigkeiten:2016_Promotion_Biallas_2.jpg}}
</IMGALIGN>