The student team "VerCors --dev-unsafe-optimization" got chosen as one of the two best student teams at the 2026 edition of VerifyThis. Congratulations to Alexander Stekelenburg and Ömer Şakar for this achievement!