Eshan Chattopadhyay, associate professor of computer science at Cornell University, and David Zuckerman, professor of computer science at the University of Texas, have been awarded the 2025 Gdel Prize for their research paper, “Explicit Two-Source Ex…

