인도계 코넬대 교수 에샨 차토파디아이, 2025년 이론 컴퓨터 과학 분야 괴델상 수상