This translation is older than the original page and might be outdated. See what has changed.

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.


2016_promotion_biallas_1.jpg 2016_promotion_biallas_2.jpg

This website uses cookies. By using the website, you agree with storing cookies on your computer. If you do not agree please leave the website.More information about cookies

RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany