东尼·霍尔
- العربية
- مصرى
- Azərbaycanca
- تۆرکجه
- Български
- বাংলা
- Bosanski
- Català
- Čeština
- Deutsch
- Ελληνικά
- English
- Esperanto
- Español
- Euskara
- فارسی
- Suomi
- Français
- עברית
- Hrvatski
- Հայերեն
- Bahasa Indonesia
- Italiano
- 日本語
- Қазақша
- 한국어
- Malagasy
- Nederlands
- Norsk bokmål
- ਪੰਜਾਬੀ
- Polski
- Português
- Română
- Русский
- Srpskohrvatski / српскохрватски
- Simple English
- Slovenčina
- Slovenščina
- Српски / srpski
- Türkçe
- Українська
- Tiếng Việt
东尼·霍尔 Tony Hoare | |
---|---|
出生 | 查尔斯·安东尼·理查德·霍尔 (Charles Antony Richard Hoare) (1934-01-11) 1934年1月11日(90岁) 英属锡兰可伦坡 |
居住地 | 剑桥 |
母校 | 牛津大学 莫斯科国立大学 |
知名于 | 快速排序 霍尔逻辑 CSP |
奖项 | 图灵奖 |
科学生涯 | |
研究领域 | 计算机科学 |
机构 | 艾略特兄弟公司 贝尔法斯特女王大学 牛津大学 莫斯科国立大学 微软研究院 |
博士生 | Stephen Brookes Cliff Jones David Naumann 比尔·罗斯科 William Stewart |
查尔斯·安东尼·理查德·霍尔爵士(英语:Sir Charles Antony Richard Hoare,缩写为C. A. R. Hoare,1934年1月11日—),昵称为东尼·霍尔(英语:Tony Hoare,一译托尼·霍尔),生于大英帝国锡兰可伦坡(今斯里兰卡),英国计算机科学家,图灵奖得主。他设计了快速排序算法、霍尔逻辑、通信顺序进程。
生平
东尼·霍尔的父亲是一位公务员,服务于英属锡兰。其母亲是茶园主人的女儿。
东尼·霍尔在可伦坡出生,在英国本土受教育。1956年,在牛津大学墨顿学院取得西洋古典学学士学位。[1]在大学毕业后,进入英国皇家海军服兵役18个月,[1]在此学会俄语。[2]1958年退伍后,回到牛津大学,研读统计学,取得学士后学位。[1]在此期间,开始学习程式设计,他跟着Leslie Fox(英语:Leslie Fox)学习Autocode(英语:Autocode)。为了进一步学习俄语,他以英国文化协会的交换学生身份,至苏联莫斯科国立大学留学,[1]跟随安德雷·柯尔莫哥洛夫学习数学,并研究机器翻译。[2]
1960年,在莫斯科国立大学取得博士学位后,任职于伦敦艾略特兄弟公司(Elliott Brothers Ltd),开发出第一个商用的ALGOL 60编译器,很快就成为公司的首席工程师。
1968年,成为贝尔法斯特女王大学的教授。1977年回到牛津大学担任教授。现为牛津大学荣誉教授,并在剑桥微软研究院担任研究员。
学术贡献
他开发了几个著名的算法,包括Quicksort与Quickselect。
在操作系统中,他提出哲学家就餐问题,并发明用来作为同步程序的监视器(Monitors)以解决这个问题。他同时证明了监视器与信号标(Semaphore)在逻辑上是等价的。
荣誉
1980年,获颁图灵奖。
1982年,成为英国皇家学会院士。
2000年,因为他在计算机科学与教育方面的杰出贡献,获得英国王室颁赠爵士头衔。
2011年,获颁约翰·冯诺依曼奖。
著作
- O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare. Structured Programming. Academic Press. 1972. ISBN 0-12-200550-3. OCLC 23937947.
- C. A. R. Hoare (1985). Communicating Sequential Processes. Prentice Hall International Series in Computer Science. ISBN 978-0131532717 (hardback) or ISBN 978-0131532892 (paperback). (Available online at http://www.usingcsp.com/ (页面存档备份,存于互联网档案馆) in PDF format.)
- C. A. R. Hoare and M. J. C. Gordon. Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. 1992. ISBN 0-13-572405-8. OCLC 25712842.
- C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall International Series in Computer Science. 1998. ISBN 0-13-458761-8. OCLC 38199961.
参考文献
- ^ 1.0 1.1 1.2 1.3 Levens, R.G.C. (编). Merton College Register 1900-1964. Oxford: Basil Blackwell. 1964: 434.
- ^ 2.0 2.1 Tony Hoare. My Early Days at Elliotts. Resurrection (Computer Conservation Society). Autumn 2009, (48) [27 May 2014]. ISSN 0958-7403. (原始内容存档于2021-03-06).
外部链接
领域 | |||||||
---|---|---|---|---|---|---|---|
概念 | |||||||
导向 | |||||||
模型 |
| ||||||
软件 工程师 |
| ||||||
相关领域 | |||||||
图灵奖获得者 | |
---|---|
1960年代 |
|
1970年代 | |
1980年代 | |
1990年代 |
|
2000年代 | |
2010年代 | |
2020年代 | |
1990年代 |
|
---|---|
2000年代 | |
2010年代 |
|
2020年代 |
|
皇家奖章获得者 | |
---|---|
1820年代 |
|
1830年代 |
|
1840年代 |
|
1850年代 |
|
1860年代 |
|
1870年代 |
|
1880年代 |
|
1890年代 |
|
1900年代 |
|
1910年代 |
|
1920年代 |
|
1930年代 |
|
1940年代 |
|
1950年代 |
|
1960年代 |
|
1970年代 |
|
1980年代 |
|
1990年代 |
|
2000年代 |
|
2010年代 |
|
2020年代 |
|
- 含有hCards的条目
- 本地相关图片与维基数据不同
- 含有英语的条目
- 维基共享资源分类链接使用了维基数据上的匹配项
- 包含FAST标识符的维基百科条目
- 包含ISNI标识符的维基百科条目
- 包含VIAF标识符的维基百科条目
- 包含WorldCat实体标识符的维基百科条目
- 包含BIBSYS标识符的维基百科条目
- 包含GND标识符的维基百科条目
- 包含ICCU标识符的维基百科条目
- 包含J9U标识符的维基百科条目
- 包含KBR标识符的维基百科条目
- 包含LCCN标识符的维基百科条目
- 包含Libris标识符的维基百科条目
- 包含LNB标识符的维基百科条目
- 包含NDL标识符的维基百科条目
- 包含NKC标识符的维基百科条目
- 包含NLA标识符的维基百科条目
- 包含NSK标识符的维基百科条目
- 包含NTA标识符的维基百科条目
- 包含PLWABN标识符的维基百科条目
- 包含ACM-DL标识符的维基百科条目
- 包含CINII标识符的维基百科条目
- 包含DBLP标识符的维基百科条目
- 包含MATHSN标识符的维基百科条目
- 包含MGP标识符的维基百科条目
- 包含Scopus标识符的维基百科条目
- 包含ZBMATH标识符的维基百科条目
- 包含Trove标识符的维基百科条目
- 包含CONOR标识符的维基百科条目
- 包含SNAC-ID标识符的维基百科条目
- 包含SUDOC标识符的维基百科条目