Disputation von Frau Edlira Kuci, M.Sc.

25.03.2019 11:00-11:45

Disputation von Frau Edlira Kuci, M.Sc.

Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental and Parallel Type Checking

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

Veranstalter: Fachbereich Informatik

Referentin: Edlira Kuci, M.Sc.

Beschreibung:

Die von Frau Edlira Kuci vorgelegte Dissertation mit dem Titel „Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental and Parallel Type Checking“ wurde von der Referentin Frau Professor Dr.-Ing. Mira Mezini und den beiden Korreferenten Herrn Professor Dr. Klaus Ostermann, Universität Tübingen und Herrn Dr. Sebastian Erdweg, TU Delft, Niederlande 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