Examiners:

External examiner: Associate Professor Alessandro Chiesa, Department of Computer Science, EPFL

Internal examiner: Associate Professor Chris Schwiegelshohn, Department of Computer Science, Aarhus University

Examiner / Main supervisor: Prof. Claudio Orlandi, Department of Computer Science, Aarhus University

Examiner / Co-supervisor: Prof. Jesper Buus Nielsen, Department of Computer Science, Aarhus University