反饋

託尼·霍爾

（圖靈獎得主，美國國家科學院外籍院士，美國國家工程院外籍院士，英國皇家工程院院士，英國皇家學會院士）

託尼·霍爾（Tony Hoare），1934年1月11日出生於斯里蘭卡，1980年圖靈獎得主，美國國家科學院外籍院士，美國國家工程院外籍院士，英國皇家工程院院士，英國皇家學會院士，英國爵士，牛津大學名譽教授，英國劍橋微軟研究院高級研究員。^[1-4]

1934年託尼·霍爾出生於斯裏蘭卡；1953年至1956年就讀於牛津大學默頓學院，學習古典與哲學；1956年在牛津大學學習統計學研究生課程；1957年至1958年服役於英國皇家海軍；1958年至1960年在莫斯科國立大學學習人類語言的計算機翻譯研究生課程；1960年至1968年在艾略特兄弟電腦公司工作；1968年至1977年擔任貝爾法斯特女王大學計算機科學教授；1980年獲得圖靈獎；1982年當選為英國皇家學會院士；2000年因對教育和計算機科學的貢獻被時任英國女王封為爵士；2005年當選為英國皇家工程院院士；2006年當選為美國計算機歷史博物館fellow。^[1-2]

託尼·霍爾致力於編程語言的研究。^[2]

中文名: 託尼·霍爾
外文名: Tony Hoare
國籍: 英國
出生地: 斯里蘭卡
出生日期: 1934年1月11日
畢業院校: 牛津大學

畢業院校: 莫斯科國立大學
職業: 教育科研工作者
主要成就: 1980年獲得圖靈獎
2005年當選為英國皇家工程院院士
2006年當選為美國國家工程院外籍院士
2017年當選為美國國家科學院外籍院士

託尼·霍爾人物經歷

1934年1月11日，託尼·霍爾出生於斯裏蘭卡。

1953年—1956年，就讀於牛津大學默頓學院，學習古典與哲學。

1956年，在牛津大學學習統計學研究生課程。

1957年—1958年，服役於英國皇家海軍。

1958年—1960年，在莫斯科國立大學學習人類語言的計算機翻譯研究生課程，師從安德烈·科爾莫戈羅夫。

1960年—1968年，在艾略特兄弟電腦公司工作。^[1-2]

1968年—1977年，擔任貝爾法斯特女王大學計算機科學教授。

1977年，成為牛津大學教授。^[2]

1980年，獲得圖靈獎。

1982年，當選為英國皇家學會院士。

1999年，從牛津大學退休。^[4]

1999年—2015年，擔任微軟研究院高級首席研究員。^[4]

2000年，因對教育和計算機科學的貢獻被英國女王伊麗莎白二世封為爵士。^[4]

2005年，當選為英國皇家工程院院士。

2006年，當選為美國計算機歷史博物館fellow，同年當選為美國國家工程院外籍院士。^[1-2] ^[6]

2015年—2021年，擔任微軟研究院名譽訪問者。^[4]

2017年，當選為美國國家科學院外籍院士。^[7]

託尼·霍爾

託尼·霍爾主要成就

託尼·霍爾科研成就

科研綜述

託尼·霍爾領導團隊生產了ALGOL60編譯器，在編程語言ALGOL60的課程中，他發現遞歸的概念是快速排序清晰表達的關鍵。託尼·霍爾的“計算機程序設計的公理基礎”是程序設計理論中最有影響力的論文之一，他拋棄了流程圖，並開發了一個邏輯系統，用於使用語句行為規範對程序進行推理，這種規範後來被稱為霍爾三元組。託尼·霍爾提出了一種語言（CSP），其中程序之間的交互僅限於預先計劃的通信，CSP激發了進一步研究，包括鼓勵其在工業應用中使用的工具，還導致了Transputer機器架構的產生。^[2]

學術論文

據2023年9月AMiner平台數據，託尼·霍爾已發表學術論文501篇，論文被引73995次，H-Index：67。^[5]

[1]C. A. R. Hoare.An Axiomatic Basis for Computer Programming （Reprint）[J].Communications of the ACM,2002.

[2]C. A. R. Hoare.Communicating sequential processes[J].Communications of the ACM,2002.

[3]Zhou Chaochen,C. A. R. Hoare,Anders P. Ravn.A calculus of durations[J].Information Processing Letters,1991.^[5]

[4]Stephen D. Brookes,C. A. R. Hoare,A. W. Roscoe.A Theory of Communicating Sequential Processes[J].Journal of the ACM,1984.

[5]C. A. R. Hoare.Proof of correctness of data representation[J].Advances in Computers,1975.^[5]

託尼·霍爾人才培養

學科建設

託尼·霍爾在貝爾法斯特女王大學和牛津大學創立了計算機科學的第一個本科和研究生學位課程，以及與數學系和工程系的許多聯合學位，他還在牛津大學為在工業界工作的學生創辦了一個軟件工程兼職碩士課程。^[4]

託尼·霍爾榮譽表彰

獲獎時間	榮譽表彰
1979年	南加州大學榮譽理學博士學位
1980年	圖靈獎
1981年	Harry H. Goode紀念獎
1982年	英國皇家學會會士
1985年	哈里·古德紀念獎
1985年	法拉第獎章
2000年	京都獎
2005年	英國皇家工程院院士
2011年	編程語言成就獎
2011年	IEEE約翰·馮·諾伊曼獎
參考資料：^[1-2] ^[4] ^[8]

託尼·霍爾社會任職

託尼·霍爾是牛津大學編程研究小組創始人，他於1997年至1999年擔任微軟研究院顧問。^[1] ^[4]

託尼·霍爾個人生活

婚姻家庭

託尼·霍爾的妻子是他的研究夥伴——吉爾·皮姆（Jill Pym）。^[2]

託尼·霍爾人物評價

他（託尼·霍爾）對編程語言的定義和設計做出了基礎性貢獻（For his fundamental contributions to the definition and design of programming languages）。（1980年圖靈獎評）^[2]

（託尼·霍爾）在算法、操作系統和編程語言領域對計算機科學做出了基礎貢獻（For fundamental contributions to computer science in the areas of algorithms, operating systems, and programming languages）。（美國國家工程院評）^[6]

他（託尼·霍爾）對計算機科學做出了許多重要貢獻（who made many important contributions to the computing sciences）。（佛羅里達州立大學評）^[8]

參考資料