Our former Master student Ellen Wittingen won third prize at the VERSEN MSc awards 2024. Congratulations Ellen!

Her master thesis is titled "Deductive verification for SYCL". You can find it here.