Die Fakultät für Mathematik/Informatik und Maschinenbau lädt zur mündlichen Doktorprüfung von Frau Adina Aniculaesei, M.Sc. am Donnerstag, 04.04.2024 um 13:00 Uhr ein.
Ort: Institut für Software and Systems Engineering, Seminarraum 124, Arnold-Sommerfeld-Str. 1
Die Hochschulöffentlichkeit ist gemäß der aktuellen Promotionsordnung zur Teilnahme am Vortrag zugelassen.
Das Thema der Dissertation lautet: „Engineering of Safety in Automated Safety-Critical Systems through Design-time Verification and Runtime Validation of Environment
Assumptions“
Vorsitzender: Prof. Dr. Robert Bredereck
Betreuer/Gutachter: Prof. Dr. Andreas Rausch
Weitere Gutachter: Prof. Dr. Stefan Wagner, Univ. Stuttgart
Prof. Dr. habil. Alois C. Knoll, TU München
Die Arbeit und die Referate liegen gem. § 9 (6) der Promotionsordnung im Sekretariat der Fakultät zur Einsichtnahme aus. Einspruch kann ggf. bis zum 28.03.2024 beim Dekan angemeldet werden.