Adrian Schüpbach defended his PhD Dissertation

Adrian Schüpbach defended his PhD Dissertation entitled: Tackling OS Complexity with Declarative Techniques

Committee: Prof. Dr. Timothy Roscoe, Prof. Dr. Gustavo Alonso, Prof. Dr. Hermann Härtig (TU Dresden, Germany)