Die vorgelegte Dissertation mit dem Titel "Dependent Assertions for Specification and Control Flow Verification" 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.

Zu Referenten werden bestellt:

• Erstreferent: Prof. Dr. Reiner Hähnle
• Korreferent: Prof. Dr. Wolfgang Ahrendt, Chalmers Univ., Schweden

Zu weiteren Mitgliedern der Prüfungskommission werden bestellt:

• Vorsitzender: Prof. Dr. Felix Wolf
• Mitglied: Prof. Dr. Arjan Kuijper

.