Disputation von Herrn Habib Saissi, M.Sc.

29.03.2019 14:00-14:45

Disputation von Herrn Habib Saissi, M.Sc.

On the Application of Formal Techniques for Dependable Concurrent Systems

29.03.2019, 14:00 Uhr – 14:45 Uhr | TU Darmstadt, Robert-Piloty-Gebäude (S2/02), Raum B 002, Hochschulstraße 10, 64289 Darmstadt

Veranstalter: Fachbereich Informatik

Referent: Habib Saissi, M.Sc.

Beschreibung:

Die von Herrn Habib Saissi vorgelegte Dissertation mit dem Titel „On the Application of Formal Techniques for Dependable Concurrent Systems“ wurde von dem Referenten Herrn Professor Neeraj Suri, Ph.D. und dem Korreferenten Herrn Professor Dr. Johannes Kinder, Universität der Bundeswehr München zur Annahme empfohlen. Die Dissertation und die Gutachten liegen für die Mitglieder des Promotionsausschusses, der Prüfungskommission und des Fachbereichsrats Informatik sowie für alle weiteren Professorinnen und Professoren des Fachbereichs zur Einsicht aus. Über die Annahme der Arbeit wird unmittelbar vor dem Termin der Disputation durch die Prüfungskommission entschieden.

zur Liste