====== Christian Dernehl promoviert ======

Wir gratulieren unserem früheren Kollegen Christian Dernehl zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 11.04.2019 zum Thema //Verification of Embedded Software Models by Combining Abstract Interpretation, Symbolic Execution and Stability Analysis// statt. Konkret setzt die Arbeit Ljapunov-Funktionen ein, um daraus abgeleitete Invarianten zur formalen Verifikation zu nutzen. Wir wünschen alles Gute!
\\ \\
{{ :lehrstuhl:neuigkeiten:2019_promotion_dernehl.jpg?580 |}}