Professor Neng-Fa Zhou, of the Computer and Information Sciences department, led a team of computer scientists that won the . The team won for coming up with smart solutions in Picat, a programming language that Zhou created.