Aarhus University Seal / Aarhus Universitets segl

Qualifying exam: Verification of Distributed Systems using Separation Logic

PhD student Marit Edna Ohlenbusch, Department of Computer Science

2019.11.25 | Sunitha Satkunam

Date Fri 13 Dec
Time 10:00 12:00
Location 5335-297, Nygaard, Finlandsgade 21, 8200 Aarhus N

Examiners:

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

Internal examiner: Professor Ira Assent, Department of Computer Science, Aarhus University

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

Talent development, PhD students
12180 / i43