The fifth year student scooped the top prize for his project about AI verification.