計(jì)算機(jī)領(lǐng)域的爵士——托尼·霍爾（Tony Hoare，1934年1月11日-），英文全稱(chēng)Sir Charles Antony Richard Hoare，常被稱(chēng)為T(mén)ony Hoare或者C. A. R. Hoare，1934年出生于英國(guó)，1959年博士畢業(yè)于俄羅斯俄羅斯國(guó)立大學(xué)，獲得語(yǔ)言機(jī)器翻譯專(zhuān)業(yè)學(xué)士。
人物簡(jiǎn)介
托尼·霍爾是一位英國(guó)計(jì)算機(jī)科學(xué)家，他對(duì)編程語(yǔ)言、算法、操作系統(tǒng)、形式驗(yàn)證和并發(fā)計(jì)算做出了基礎(chǔ)性貢獻(xiàn)。1960年發(fā)布了使他聞名于世的快速排序算法（Quick Sort），這個(gè)算法也是當(dāng)前世界上使用最廣泛的算法之一?；魻栐谌〉貌┦繉W(xué)位后，就職于Elliott Brothers，領(lǐng)導(dǎo)了Algol 60第一個(gè)商用編譯器的設(shè)計(jì)與開(kāi)發(fā)，由于其出色的成績(jī)，最終成為該公司首席科學(xué)家。從1977年開(kāi)始，霍爾博士任職于牛津大學(xué)，投身于計(jì)算系統(tǒng)的精確性的研究、設(shè)計(jì)及開(kāi)發(fā)。因其對(duì)Algol 60程序設(shè)計(jì)語(yǔ)言理論、互動(dòng)式系統(tǒng)及APL語(yǔ)言的貢獻(xiàn)，1980年被美國(guó)計(jì)算機(jī)協(xié)會(huì)授予“圖靈獎(jiǎng)”。1999年從牛津大學(xué)退休后，霍爾博士被微軟劍橋研究院聘請(qǐng)擔(dān)任高級(jí)程序員，從事微軟劍橋研究院研究生成果的工業(yè)化應(yīng)用的工作，以及協(xié)助其它研究人員進(jìn)行服務(wù)于軟件產(chǎn)業(yè)及用戶(hù)的長(zhǎng)期基礎(chǔ)研究項(xiàng)目。2000年Hoare因?yàn)槠湓?a href="/hebeideji/8921305921413644620.html">計(jì)算機(jī)科學(xué)與教育上做出的貢獻(xiàn)被封為爵士。他的獲獎(jiǎng)記錄包括：于1980年獲得美國(guó)計(jì)算機(jī)學(xué)會(huì)(ACM)設(shè)立的計(jì)算機(jī)界最高獎(jiǎng)——圖靈獎(jiǎng)，2000年獲得日本稻盛財(cái)團(tuán)設(shè)立的國(guó)際大獎(jiǎng)——京都獎(jiǎng)(尖端技術(shù)領(lǐng)域)。同年，伊麗莎白·亞歷山德拉·瑪麗·溫莎授予Tony Hoare爵士爵位，以表彰他對(duì)計(jì)算機(jī)科學(xué)所做出的巨大貢獻(xiàn)。
早期成果
霍爾出生在錫蘭科倫坡（現(xiàn)斯里蘭卡），父母是英國(guó)人；他的父親是殖民地公務(wù)員，母親是茶園種植者的女兒?；魻栐?a href="/hebeideji/7298181419314085927.html">英國(guó)的牛津龍學(xué)校和坎特伯雷國(guó)王學(xué)校接受教育。然后他在牛津市的默頓學(xué)院學(xué)習(xí)古典和哲學(xué)（“Greats”）。1956年畢業(yè)后，他在皇家海軍服役18個(gè)月，在那里學(xué)習(xí)了俄語(yǔ)。1958年他回到牛津大學(xué)攻讀統(tǒng)計(jì)學(xué)的研究生證書(shū)，也是在這里他開(kāi)始了計(jì)算機(jī)編程，由萊斯利·?？怂菇淌诘腇erranti Mercury上的Autocode。然后他作為英國(guó)理事會(huì)交換學(xué)生前往莫斯科國(guó)立大學(xué)，在那里在安德烈·科爾莫戈洛夫的指導(dǎo)下學(xué)習(xí)機(jī)器翻譯。
1960年，霍爾進(jìn)入Elliott兄弟倫敦公司，成為一名程序員。他接到的第一個(gè)任務(wù)，就是為Elliott 803計(jì)算機(jī)編寫(xiě)一個(gè)庫(kù)程序，實(shí)現(xiàn)新發(fā)明出來(lái)的殼層排序算法。在此過(guò)程中，霍爾對(duì)不斷提升代碼的效率著了迷。他不僅很好地完成了任務(wù)，還發(fā)明了一種新算法，比Shell還快，而且不會(huì)多耗費(fèi)太多空間。這就是后來(lái)聞名于世的快速排序算法Quicksort。值得一提的是，發(fā)明該算法時(shí)他只有26歲。
隨后，霍爾又接到了新任務(wù)——在公司新機(jī)型Elliott 503上實(shí)現(xiàn)Algol 60語(yǔ)言。Elliott Algol的開(kāi)發(fā)非常順利，大獲成功，霍爾本人也從此受到國(guó)際學(xué)術(shù)界的重視。當(dāng)然，對(duì)他來(lái)說(shuō)，另一件事情更為重要，他和項(xiàng)目中另一位當(dāng)時(shí)比自己更專(zhuān)業(yè)的女程序員Jill Pym相識(shí)相知，并最后結(jié)婚。
開(kāi)創(chuàng)性成果
霍爾在1968年成為貝爾法斯特女王大學(xué)的計(jì)算科學(xué)教授，并于1977年回到牛津市擔(dān)任計(jì)算機(jī)教授，領(lǐng)導(dǎo)牛津大學(xué)計(jì)算機(jī)實(shí)驗(yàn)室（現(xiàn)為牛津大學(xué)計(jì)算機(jī)科學(xué)系）的編程研究小組，接替克里斯托弗·斯特雷奇去世后的職位。他現(xiàn)在是該校的名譽(yù)教授，也是英格蘭劍橋微軟研究院的主要研究員。他全身心地投入到計(jì)算機(jī)科學(xué)理論的研究中，作出了許多創(chuàng)造性的重大貢獻(xiàn)，尤其是程序設(shè)計(jì)理論和操作系統(tǒng)設(shè)計(jì)等方面，目前許多廣泛流行與應(yīng)用著的概念都源于霍爾的工作。
1969年10月，霍爾在Communications of the ACM上發(fā)表了有里程碑意義的論文“計(jì)算機(jī)程序設(shè)計(jì)的公理基礎(chǔ)”。在這篇論文中，霍爾提出了公理語(yǔ)義學(xué)，這是繼1963年用遞歸函數(shù)定義程序，以及在1967年基于程序流程圖的歸納斷言法以后，程序邏輯研究中所取得的又一個(gè)重大技術(shù)進(jìn)展。
20世紀(jì)70年代后期，霍爾深入研究并實(shí)現(xiàn)了程序設(shè)計(jì)語(yǔ)言CSP，后來(lái)成為著名的并行處理語(yǔ)言OCCAM的基礎(chǔ)。80年代中期，霍爾和S. Brools等人合作，提出了“CSP理論”，開(kāi)創(chuàng)了用代數(shù)方法研究通信并發(fā)系統(tǒng)的先河，形成了“進(jìn)程代數(shù)”這一新的研究領(lǐng)域。1995年他還和我國(guó)學(xué)者、中科院院士何積豐合作，提出了統(tǒng)一程序設(shè)計(jì)理論。
霍爾發(fā)表過(guò)許多高水平的論著。ACM在1983年評(píng)選出最近25年中發(fā)表在Communications of the ACM上的有里程碑式意義的25篇經(jīng)典論文，只有2名學(xué)者各有2篇論文入選，霍爾就是其中之一。1972年他與O.J. Dahl和E. W. Dijkstra三位圖靈獎(jiǎng)得主合著的Structured Programming一書(shū)，更是難以逾越的高峰。
獲獎(jiǎng)經(jīng)歷
霍爾獲獎(jiǎng)無(wú)數(shù)，1980年獲得美國(guó)計(jì)算機(jī)學(xué)會(huì)(ACM)設(shè)立的計(jì)算機(jī)界最高獎(jiǎng)——圖靈獎(jiǎng)；1981年獲得AFIPS的Harry Goode獎(jiǎng)；1985年獲得英國(guó)IEE的法拉第獎(jiǎng)?wù)拢?990年被IEEE授予計(jì)算機(jī)先驅(qū)獎(jiǎng)。2000年獲得日本稻盛財(cái)團(tuán)設(shè)立的國(guó)際大獎(jiǎng)——京都獎(jiǎng)(尖端技術(shù)領(lǐng)域)。
2009年3月他在Qcon技術(shù)會(huì)議上發(fā)表了題為“Null引用：代價(jià)十億美元的錯(cuò)誤”的演講，回憶自己1965年設(shè)計(jì)第一個(gè)全面的類(lèi)型系統(tǒng)時(shí)，未能抵御住誘惑，加入了Null引用，僅僅是因?yàn)閷?shí)現(xiàn)起來(lái)非常容易。它后來(lái)成為許多程序設(shè)計(jì)語(yǔ)言的標(biāo)準(zhǔn)特性，導(dǎo)致了數(shù)不清的錯(cuò)誤、漏洞和系統(tǒng)崩潰，可能在之后40年中造成了十億美元的損失。他在同月出版Communications of the ACM中表示，如何證明程序的正確性仍然是計(jì)算機(jī)科學(xué)中有待解決的重大課題。
2021年1月14日，托尼·霍爾入選ACM Fellow。
除了上述獲獎(jiǎng)經(jīng)歷，霍爾還獲得了多項(xiàng)榮譽(yù)和獎(jiǎng)項(xiàng)，包括：
- ACM編程系統(tǒng)和語(yǔ)言論文獎(jiǎng)（1973年）獲得“數(shù)據(jù)表示正確性證明”論文獎(jiǎng)
- 英國(guó)計(jì)算機(jī)學(xué)會(huì)杰出會(huì)員（1978年）
- 英國(guó)皇家學(xué)會(huì)會(huì)士（1982年）
- 貝爾法斯特女王大學(xué)榮譽(yù)理學(xué)博士（1987年）
- 巴斯大學(xué)榮譽(yù)理學(xué)博士（1993年）
- 牛津大學(xué)凱洛格學(xué)院榮譽(yù)會(huì)員（1998年）
- 信息科學(xué)京都獎(jiǎng)（2000年）
- 英國(guó)皇家工程院院士（2005年）
- 美國(guó)國(guó)家工程院院士（2006年），以表彰其在算法、操作系統(tǒng)和編程語(yǔ)言領(lǐng)域?qū)?a href="/hebeideji/8921305921413644620.html">計(jì)算機(jī)科學(xué)的基本貢獻(xiàn)。
- 加利福尼亞州山景城計(jì)算機(jī)歷史博物館（CHM）博物館院士（2006年），以表彰其對(duì)快速排序算法的發(fā)展和對(duì)編程語(yǔ)言理論的終身貢獻(xiàn)。
- 赫里奧特-赫瑞瓦特大學(xué)榮譽(yù)理學(xué)博士（2007年）
- 雅典經(jīng)濟(jì)和商業(yè)大學(xué)信息學(xué)系榮譽(yù)理學(xué)博士（2007年）
- 慕尼黑工業(yè)大學(xué)弗里德里?！·鮑爾獎(jiǎng)（2007年）
- SIGPLAN編程語(yǔ)言成就獎(jiǎng)（2011年）
- IEEE約翰·馮·諾依曼獎(jiǎng)（2011年）
- 華沙大學(xué)榮譽(yù)博士（2012年）
- 馬德里大學(xué)榮譽(yù)博士（2013年）
- 英國(guó)皇家學(xué)會(huì)皇家獎(jiǎng)?wù)拢?023年）
書(shū)籍
霍爾的著作對(duì)計(jì)算機(jī)科學(xué)領(lǐng)域產(chǎn)生了深遠(yuǎn)的影響，其中包括：
- 達(dá)爾，O.-J.；戴克斯特拉，E. W.；霍爾，C. A. R.（1972年）?！督Y(jié)構(gòu)化編程》。學(xué)術(shù)出版社。ISBN 978-0-12-200550-3。OCLC 23937947。
- C. A. R. 霍爾（1985年）?！锻ㄐ彭樞蜻M(jìn)程》。Prentice Hall國(guó)際計(jì)算機(jī)科學(xué)系列。ISBN 978-0131532717（精裝）或ISBN 978-0131532892（平裝）。（可在http://www.usingcsp.com/以PDF格式在線獲取。）
- 霍爾，C. A. R.（1989年）。C. B.，瓊斯（編）?！队?jì)算科學(xué)論文集》。Prentice Hall國(guó)際計(jì)算機(jī)科學(xué)系列。ISBN 978-0-13-284027-9。
- 霍爾，C. A. R.；戈登，M. J. C.（1992年）。《機(jī)械化推理和硬件設(shè)計(jì)》。Prentice Hall國(guó)際計(jì)算機(jī)科學(xué)系列。ISBN 978-0-13-572405-7。OCLC 25712842。
- 霍爾，C. A. R.；何繼峰（1998年）。《編程的統(tǒng)一理論》。Prentice Hall國(guó)際計(jì)算機(jī)科學(xué)系列。ISBN 978-0-13-458761-5。OCLC 38199961。
參考資料 >