Wir gratulieren unserem ehemaligen Kollegen Dimitri Bohlender zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 24.09.2021 zum Thema „Symbolic Methods for Formal Verification of Industrial Control Software“ statt. In dieser Arbeit ging es darum, Software, die in industriellen Steuerungsanlagen läuft, mit spezifisch auf diese Problemdomäne zugeschnittenen Algorithmen zu verifizieren und somit sicherzustellen, dass sich die Steuerung korrekt verhält.

Wir wünschen Herrn Bohlender alles Gute!