Qualifying exam: Realistic Implementations and Verification of Snapshot Isolation.
PhD student Arnaud Daby-Seesaram, Department of Computer Science
Info about event
Time
Location
5341-230, (Turing), Helsingforsgade 14, 8200 Aarhus N
Examiners:
External examiner: Associate Professor Jesper Bengtson, Theoretical Computer Science, ITU
Internal examiner: Professor Ira Assent, Department of Computer Science, Aarhus University
Examiner / Main supervisor: Professor Lars Birkedal, Department of Computer Science, Aarhus University
(hvis der er medvejleder med) Examiner / Co-supervisor: Associate Professor Amin Timany, Department of Computer Science, Aarhus University