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