Qualifying exam: Separation Logics for Probability and Concurrency
PhD student Kwing Hei Li, Department of Computer Science
Info about event
Time
Location
5341-230, Turing, Aarhus Universitet, Helsingforsgade 14, 8200 Aarhus N
Examiners:
External examiner: Associate Professor Jesper Bengtson, CS, IT Univ. of Copenhagen
Internal examiner: Professor Anders Møller, Department of Computer Science, Aarhus University
Examiner / Main supervisor: Professor Lars Birkedal, Department of Computer Science, Aarhus University