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!

Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland