فاز البروفيسور الهندي الأصل من جامعة كورنيل إيشان تشاتوبادياي بجائزة جودل لعام 2025 في علوم الكمبيوتر النظرية