生平簡歷
萊斯利·瓦利安特(Leslie Valiant),1949年3月28日出生。曾在英國 劍橋大學(xué)國王學(xué)院、 倫敦帝國學(xué)院和 華威大學(xué)接受教 育。
1974年獲得英國華威大學(xué)計算機(jī)科學(xué)博士學(xué)位。
1982年,成為美國 哈佛大學(xué)教授,任教于哈佛大學(xué)工程和應(yīng)用科學(xué)學(xué)院。
曾在 卡內(nèi)基梅隆大學(xué)、 利茲大學(xué)、 愛丁堡大學(xué)任教。
榮譽(yù)
1986年, 奈望林納獎。
1997年, 高德納獎。
2008年,EATCS Award。
2010年, 圖靈獎。
其他信息
2011年3月7日,2010年的圖靈獎獲得者揭曉【ACM新聞稿】。哈佛大學(xué)計算機(jī)系的Les Valiant榮獲此計算科學(xué)界的最高殊榮。
ACM對Les獲得2010年圖靈獎的官方評語是:
“For transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing.”
【編者譯】授予Dr. Les Valiant圖靈獎,以表彰其在計算理論方面,特別是機(jī)器學(xué)習(xí)領(lǐng)域中的概率近似正確理論的開創(chuàng)性貢獻(xiàn),枚舉和計算代數(shù)復(fù)雜性,并行和分布式系統(tǒng)方面的其他貢獻(xiàn)。
Les Valiant,生于1949年3月28日,英國科學(xué)家。1974年從University of Warwick獲得其計算機(jī)科學(xué)的博士學(xué)位。
Les Valiant是哈佛大學(xué)計算機(jī)和應(yīng)用數(shù)學(xué)系的教授。
Les在計算理論方面最大的貢獻(xiàn)是Probably approximately correct learning。PAC的意義大概如下:該模型可解決信息分類的問題,比如判斷一封郵件是不是SPAM。為解決信息分類問題,學(xué)習(xí)算法會根據(jù)過去的經(jīng)驗而設(shè)計一個概率假設(shè),并將此假設(shè)作為判斷依 據(jù)。然而,這種根據(jù)過去經(jīng)驗的泛化可能并不適用于將來,比如過度泛化。PAC模型可最大限度地降低泛化帶來的錯誤,這就是為什么它被稱為“概率近似正確” 的原因。此學(xué)習(xí)模型對于機(jī)器學(xué)習(xí)、人工智能和其他計算領(lǐng)域(如自然語言處理、筆跡識別、機(jī)器視覺等)都產(chǎn)生了重要影響。
除計算機(jī)復(fù)雜性理論之外,Valiant還為并行計算和分布式計算作出了重要的貢獻(xiàn)。
在過去的幾年內(nèi),Valiant還致力于計算神經(jīng)學(xué)的研究,他為大腦設(shè)計了一個數(shù)學(xué)模型,并將此它與復(fù)雜的認(rèn)知功能建立了關(guān)聯(lián)。此發(fā)現(xiàn)發(fā)表在《Circuits of the Mind》一書中。
ACM網(wǎng)站剛剛發(fā)布消息,出生于英國的理論計算科學(xué)家、哈佛大學(xué)教授Leslie Valiant因為“對眾多計算理論(包括PAC學(xué)習(xí)、枚舉復(fù)雜性、代數(shù)計算和并行與分布式計算)所做的變革性的貢獻(xiàn)”而獲得最新一屆計算機(jī)科學(xué)最高榮譽(yù)——圖靈獎。
ACM的頒獎詞高度評價了Valiant教授30多年對理論計算科學(xué)的基礎(chǔ)性貢獻(xiàn):
他的工作開辟了新領(lǐng)域,推出了獨創(chuàng)的新概念,并提供了許多兼具原創(chuàng)性、深度和優(yōu)美的結(jié)果。他的工作一次又一次地確立或改變了計算機(jī)科學(xué)的面貌。
頒獎詞還指出,Valiant最大的貢獻(xiàn)是1984年的論文 A Theory of the Learnable 使誕生于1950年代的機(jī)器學(xué)習(xí)領(lǐng)域第一次有了堅實的數(shù)學(xué)基礎(chǔ),從而掃除了學(xué)科發(fā)展的障礙,這對人工智能諸多領(lǐng)域包括加強(qiáng)學(xué)習(xí)、機(jī)器視覺、自然語言處理和手寫識別等都產(chǎn)生了巨大影響?梢哉f,沒有他的貢獻(xiàn),IBM也不可能造出Watson這樣神奇的機(jī)器來。
他在計算復(fù)雜性理論方面也有重要貢獻(xiàn),包括提出了#P-completeness。他1979年提出的上下文無關(guān)分析算法,至今仍然是最快的之一。
在并行與分布式計算領(lǐng)域,他1990年提出了著名的BSP并行模型,至今還是這一學(xué)科的必讀論文。
Leslie Valiant是先后在英國劍橋大學(xué)、倫敦帝國理工學(xué)院學(xué)習(xí),1974年獲得華威大學(xué)計算機(jī)科學(xué)博士學(xué)位。此后曾在卡內(nèi)基-梅隆大學(xué)、利茲大學(xué)和愛丁堡大學(xué)任教。1982年來到哈佛,先任該校工程與應(yīng)用科學(xué)學(xué)部計算機(jī)與應(yīng)用數(shù)學(xué)講席教授。
關(guān)于自己最近的研究方向興趣,Valiant教授在網(wǎng)站中這樣寫道:
計算機(jī)科學(xué)包括對人工現(xiàn)象和自然現(xiàn)象的研究。前者關(guān)注人造設(shè)備比如計算機(jī);后者涉及大自然中多步驟或者計算的過程,比如腦或者生物進(jìn)化過程。在大多數(shù)領(lǐng)域,對這些人工或者自然過程的終極局限還沒有很好的理解。計算設(shè)備的潛力還遠(yuǎn)遠(yuǎn)沒有認(rèn)識清楚,而神經(jīng)科學(xué)與演化中基礎(chǔ)性的定量問題也沒有得到解答。他的研究主要關(guān)注這些基本問題。
具體而言,在計算復(fù)雜性方面,Valiant教授正在尋求全息(holographic)解決方法。在分布式計算方面,他正在研究如何為多核設(shè)備設(shè)計算法,而且能夠?qū)崿F(xiàn)在性能差異很大、不同的架構(gòu)之間保證很好的移植性和效率。在機(jī)器學(xué)習(xí)領(lǐng)域,他提出了robust logics試圖縫合統(tǒng)計模型與推理模型之間的鴻溝。此外,他對大腦皮層如此脆弱的系統(tǒng)如何完成復(fù)雜而且大規(guī)模的計算發(fā)生了濃厚興趣,已經(jīng)提出了一些原語。他還在達(dá)爾文進(jìn)化理論的量化研究方面做出了一些嘗試。
的確,正如ACM對其成就的描述最后總結(jié)的,很少有人能在學(xué)術(shù)研究中達(dá)到Valiant這樣深度和廣度兼?zhèn)洹K抢碚撚嬎憧茖W(xué)名副其實的英雄人物。
Leslie Valiant是英國皇家學(xué)會會士、 美國科學(xué)院院士。
1986年獲國際數(shù)學(xué)聯(lián)盟Nevanlinna獎,1997年獲Knuth獎,2008年獲EATCS(歐洲理論計算科學(xué)協(xié)會)獎。
圖靈獎有計算機(jī)界的 諾貝爾獎之稱,由ACM(國際計算機(jī)協(xié)會)每年頒發(fā),獎金為25萬美元, 由 Google 和 Intel 贊助。