ACM網(wǎng)站剛剛發(fā)布消息，出生于英國(guó)的理論計(jì)算科學(xué)家、哈佛大學(xué)傳授Leslie Valiant因?yàn)?ldquo;對(duì)眾多計(jì)算理論(包括PAC學(xué)習(xí)、枚舉龐大性、代數(shù)計(jì)算和并行與分布式計(jì)算)所做的變革性的貢獻(xiàn)”而獲得最新一屆計(jì)算機(jī)科學(xué)最高榮譽(yù)——圖靈獎(jiǎng)。
ACM的頒獎(jiǎng)詞高度評(píng)價(jià)了Valiant傳授30多年對(duì)理論計(jì)算科學(xué)的基礎(chǔ)性貢獻(xiàn)：
他的工作開(kāi)辟了新領(lǐng)域，推出了獨(dú)創(chuàng)的新概念，並提供了許多兼具原創(chuàng)性、深度和優(yōu)美的結(jié)果。他的工作一次又一次地確立或改變了計(jì)算機(jī)科學(xué)的面目。
頒獎(jiǎng)詞還指出，Valiant最大的貢獻(xiàn)是1984年的論文 A Theory of the Learnable 使產(chǎn)生于1950年代的機(jī)器學(xué)習(xí)土地第一次有了堅(jiān)固的數(shù)學(xué)基礎(chǔ)，從而掃除了學(xué)科發(fā)展的障礙，這對(duì)人工智能諸多土地包括加強(qiáng)學(xué)習(xí)、機(jī)器視覺(jué)、自然語(yǔ)言處置和手寫(xiě)識(shí)別等都產(chǎn)生了巨大妨礙？梢哉f(shuō)，沒(méi)有他的貢獻(xiàn)，IBM也不也許造出Watson如此神奇的機(jī)器來(lái)。
他在計(jì)算複雜性理論方面也有重要貢獻(xiàn)，包括提出了#P-completeness。他1979年提出的上下文無(wú)關(guān)分析算法，至今仍然是最快的之一。
在並行與分布式計(jì)算領(lǐng)域，他1990年提出了著名的BSP並行模型，至今還是這一學(xué)科的必讀論文。
Leslie Valiant是先后在英國(guó)劍橋大學(xué)、倫敦帝國(guó)理工學(xué)院學(xué)習(xí)，1974年獲得華威大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。此后曾在卡內(nèi)基-梅隆大學(xué)、利茲大學(xué)和愛(ài)丁堡大學(xué)任教。1982年來(lái)到哈佛，先任該校工程與應(yīng)用科學(xué)學(xué)部計(jì)算機(jī)與應(yīng)用數(shù)學(xué)講席傳授。
關(guān)于自己最近的研究方向興趣，Valiant傳授在網(wǎng)站中這樣寫(xiě)道：
計(jì)算機(jī)科學(xué)包括對(duì)人工現(xiàn)象和自然現(xiàn)象的研究。前者關(guān)注人造設(shè)備譬如計(jì)算機(jī)；後者涉及大自然中多步驟或者計(jì)算的過(guò)程，譬如腦或者生物進(jìn)化過(guò)程。在大多數(shù)領(lǐng)域，對(duì)這些人工或者自然過(guò)程的終極局限還沒(méi)有很好的明白。計(jì)算設(shè)備的潛力目前還遠(yuǎn)遠(yuǎn)沒(méi)有認(rèn)識(shí)清楚，而神經(jīng)科學(xué)與演化中基礎(chǔ)性的定量問(wèn)題也沒(méi)有獲得解答。他的研究要緊關(guān)注這些基本問(wèn)題。
具體而言，在計(jì)算複雜性方面，Valiant傳授正在尋求全息(holographic)解決方法。在分布式計(jì)算方面，他正在研究如何為多核設(shè)備設(shè)計(jì)算法，同時(shí)能夠?qū)崿F(xiàn)在性能差異很大、不同的架構(gòu)之間保證很好的移植性和功效。在機(jī)器學(xué)習(xí)土地，他提出了robust logics試圖縫合統(tǒng)計(jì)模型與推理模型之間的鴻溝。另外，他對(duì)大腦皮層如此脆弱的系統(tǒng)如何完成龐大同時(shí)大規(guī)模的計(jì)算產(chǎn)生了濃厚興致，差不多提出了一些原語(yǔ)。他還在達(dá)爾文進(jìn)化理論的量化研究方面做出了一些嘗試。
的確，正如ACM對(duì)其成就的描述最後總結(jié)的，很少有人能在學(xué)術(shù)研究中達(dá)到Valiant這樣深度和廣度兼?zhèn)。他是理論?jì)算科學(xué)名副其實(shí)的英雄人物。
Leslie Valiant是英國(guó)皇家學(xué)會(huì)會(huì)士、美國(guó)科學(xué)院院士。1986年獲國(guó)際數(shù)學(xué)聯(lián)盟Nevanlinna獎(jiǎng)，1997年獲Knuth獎(jiǎng)，2008年獲EATCS(歐洲理論計(jì)算科學(xué)協(xié)會(huì))獎(jiǎng)。
圖靈獎(jiǎng)有計(jì)算機(jī)界的諾貝爾獎(jiǎng)之稱，由ACM(國(guó)際計(jì)算機(jī)協(xié)會(huì))每年頒發(fā)，獎(jiǎng)金爲(wèi)25萬(wàn)美元，目前由Google和Intel贊助。
|
