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