GPUVerify Contributor Wins National Award
Nathan Chong from Imperial College London has been announced as the overall winner in a prestigious UK competition for his work on GPUVerify (the verification technique and tool for the automatic analysis of GPU kernels written in OpenCL). The award recognises researchers who are pioneers in Information and Communication Technology (ICT). Fifteen researchers showcased the [...]