Herzlichen Glückwunsch an Tobias Dörr zur bestandenen Doktorprüfung!

Am 09.09.2024 hat Tobias Dörr aus dem Team von Prof. Becker seine Doktorprüfung mit der höchsten Auszeichnung "summa cum laude" bestanden. Die Prüfung wurde von Prof. Dr. Mario Trapp von der Technischen Universität München (TUM) als Korreferent begleitet.

Die Dissertation mit dem Titel "Pattern-Based Logical Isolation for Safety-Critical Multicore Systems" befasst sich mit der komplexen Herausforderung, heterogene Mehrkernprozessoren im sicherheitskritischen Umfeld einzusetzen. Um sicherheitskritische und andere Anwendungen auf demselben Chip integrieren zu können, ist es unerlässlich, diese robust voneinander zu isolieren.

Der von Tobias Dörr vorgestellte Ansatz kombiniert ein formales Systemmodell mit Codegeneratoren und einer statischen Analyse, um die im spezifischen Anwendungsfall erforderliche Isolation zu erreichen.

Wir gratulieren zu diesem Erfolg und verabschieden Tobias Dörr mit großem Bedauern vom Institut ITIV. Wir wünschen ihm für seine berufliche und persönliche Zukunft alles Gute. Seine herausragende Arbeit und sein Engagement werden uns in bester Erinnerung bleiben.