Die vorgelegte Dissertation mit dem Titel „Modular Specification and Verification of Concurrent Programs with Context-aware Trace Contracts“ 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 Referent:innen werden bestellt:

• Erstreferent*in: Prof. Dr. Reiner Hähnle
• Korreferent: Prof. Dr. Dilian Gurov, KTH Stockholm

Zu weiteren Mitgliedern der Prüfungskommission werden bestellt:

• Vorsitz: Prof. Dr. Felix Wolf
• Mitglied: Dr. Anirban Mukhopadhyay