Aarhus University Seal / Aarhus Universitets segl

Qualifying exam: Types and Logics for Security and Distributed Systems

PhD student Simon Oddershede Gregersen, Department of Computer Science

2020.07.17 | Mie Meulengracht Christensen

Date Fri 07 Aug
Time 13:00 15:00
Location 5335-295, Nygaard Meeting Room, Department of Computer Science, Aarhus University, Langelandsgade 21, 8200 Aarhus N.

Examiners:

External examiner: Associate Professor Jesper Bengtson, Department of Computer Science, IT University of Copenhagen

Internal examiner: Professor Susanne Bødker, Department of Computer Science, Aarhus University

Examiner / Main supervisor: Professor Lars Birkedal, Department of Computer Science , Aarhus University

Talent development, PhD students
16881 / i43