Der aus Indien stammende Cornell-Professor Eshan Chattopadhyay gewinnt den Gödel-Preis 2025 für theoretische Informatik