Die vorgelegte Dissertation mit dem Titel "Static Analysis of Multi-Language Software Systems" wurde von den Referent:innen 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 Professor:innen des Fachbereichs zur Einsicht aus.

Über die Annahme der Arbeit wird unmittelbar vor dem Termin der Disputation durch die Prüfungskommission entschieden.

Zusammensetzung der Prüfungskommission:

• Erstreferentin:   Prof.in Dr.-Ing. Dr. h.c. Mira Mezini
• Korreferent:       Prof. Dr. Karim Ali, NYU Abu Dhabi

Zu weiteren Mitgliedern der Prüfungskommission werden bestellt:

• Vorsitzender:     Prof. Dr. Reiner Hähnle
• Mitglieder:         Prof. Dr. Michael Waidner, Prof. Dr. Dr. Christian Reuter                          

.