哥德爾獎含金量很高,是理論計算機領域最負盛名的獎項,由歐洲理論計算機學會和美國計算機學會基礎理論專業(yè)組織在1993年聯(lián)合設立,主要頒發(fā)給理論計算機領域最杰出的學術論文。其名字的由來是邏輯學與計算機科學先驅——庫爾特·哥德爾。想要獲得哥德爾獎可不是件容易的事。獲獎論文必須在理論計算機領域具有開創(chuàng)性重大貢獻,并且該論文必須在14年內在學術期刊上正式發(fā)表過,最后還要通過由6名被EATCS和ACM SIGACT提名的評選委員會成員的評審,這樣才能確定出最終的獲獎者。
【 詳細>>】