Neuigkeiten
John Schommer promoviert
Wir gratulieren unserem früheren Kollegen John Schommer zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 24.06.2019 zum Thema Adaptierung des Zeitverhaltens nicht-echtzeitfähiger Software für den Einsatz in zeitheterogenen Netzwerken statt. Hierbei wurden konkret Vorgehensweisen erarbeitet, welche nicht-echtzeitfähige Software in zeitheterogenen Netzwerken untersuchen und sie adaptieren um die an sie gestellten Echtzeitanforderungen zu erfüllen. Wir wünschen alles Gute!
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!
Winterkolloquium 2019
Vom 08.02. bis zum 15.02.2019 fand das Winterkolloquium des Lehrstuhls Informatik 11 statt. Dafür wurden im Kleinwalsertal in Österreich aktuelle Forschungsergebnisse der wissenschaftlichen Mitarbeiter lehrstuhlintern vorgetragen und diskutiert. Darüber hinaus wurden Strategien für die Lehre und Verbesserungen der internen Informationsverwaltung besprochen. Eine kreative Pause konnte sportlich auf den Skipisten oder beim Wandern eingelegt werden.
