One of our ex-master students, Ellen Wittingen, has graduated today. Her mastersthesis is titled "Deductive verification for SYCL". You can find it here. Well done Ellen! We wish you best of luck in your future endeavors.