刚刚，理论计算机年度大奖——2025年哥德尔奖揭晓！康奈尔大学副教授Eshan Chattopadhyay与导师David Zuckerman荣获此奖。

论文 acm 哥德尔 zuckerman 哥德尔奖 2025-06-10 13:25  2