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.