Qualifying exam: Reasoning About Capability Machines: A Path Towards Provable Security

PhD student Lau Skorstengaard, Department of Computer Science

2017.03.16 | Steffi Hjerrild Iversen

Date Fri 31 Mar
Time 12:30 14:30
Location 5335-297, Nygaard Building, Finlandsgade 21, 8200 Aarhus N

Examiners:

External examiner: Associate Professor Ken Friis Larsen, Department of Computer Science, University of Copenhagen

Internal examiner: Associate Professor Anders Møller, Department of Computer Science, Aarhus University

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

Talent development, PhD students
Comments on content: 
Revised 23.06.2017