Qualifying exam: Scalable Monitoring and Verification of Concurrent Systems
PhD student Yifan Dong, Department of Computer Science
Info about event
Time
Location
Department of Computer Science, Aarhus University
External examiner: Professor Marco Carbone, Department of Computer Science, IT University of Copenhagen
Internal examiner: Professor Anders Møller, Department of Computer Science, Aarhus University
Examiner / Main supervisor: Associate Professor Andreas Pavlogiannis, Department of Computer Science, Aarhus University