Qualifying exam: Automatic verification of fine-grained concurrency

PhD student Kristoffer Just Andersen, Department of Computer Science

2017.02.08 | Steffi Hjerrild Iversen

Date Wed 22 Feb
Time 12:30 14:30
Location 5335-297 (Nygaard), Aarhus University, Finlandsgade 21, 8200 Aarhus N

Examiners:

External examiner: Associate Professor Jesper Bengtson, Theoretical Computer Science group, IT 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
Comments on content: 
Revised 22.05.2017