Promotion Herr Florian Lukas Vetter, M.Sc. am 03.05.2024

Die Fakultät für Mathematik/Informatik und Maschinenbau lädt zur mündlichen Doktorprüfung ein.

Promotion Herr Carsten Hesselmann am 25.04.2024

Die Fakultät für Mathematik/Informatik und Maschinenbau lädt zur mündlichen Doktorprüfung ein.

Promotion Frau M.Sc. Adina Aniculaesei am 04.04.2024

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

                                                                                                                                            …

Promotion Herr M.Sc. Tobias Ahlbrecht am 03.04.2024

Die Fakultät für Mathematik/Informatik und Maschinenbau lädt zur mündlichen Doktorprüfung von Herrn Tobias Ahlbrecht, M.Sc. am Mittwoch, 03.04.2024 um 09:00 Uhr ein.
Ort: Institut für Informatik, Multimedia Hörsaal, Tannenhöhe
Die Hochschulöffentlichkeit ist gemäß der aktuellen Promotionsordnung zur Teilnahme am Vortrag zugelassen.
Das Thema der Dissertation lautet: „Goal-based debugging for belief-desire-intention agents"

Vorsitzender:              Prof. Dr. Robert Bredereck
Betreuer/Gutachter:    Prof. Dr. Jürgen Dix
Weitere Gutachter:     Prof. Dr. Jörg P. Müller
                                   Prof. Dr. Michael Winikoff, Wellington, Neuseeland
                                                            
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.