====== Sebastian Biallas received his doctor's degree ======

We are congratulating our colleague Sebastian Biallas on receiving his doctor's degree at our department! The examination took place on July 14th 2016 and the topic was //Verification of Programmable Logic Controller Code using Model Checking and Static Analysis//.

\\

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