Charles Antony Richard Hoare

(Đổi hướng từ C.A.R. Hoare)

Sir Charles Antony Richard Hoare (Tony Hoare hay C.A.R. Hoare, sinh ngày 11 tháng 1 năm 1934) là một nhà khoa học máy tính người Anh, có lẽ nổi tiếng nhất vì đã phát triển giải thuật Quicksort (hay Hoaresort), một trong những giải thuật sắp xếp được sử dụng nhiều nhất thế giới, vào năm 1960. Ông cũng phát triển luận lý Hoare để kiểm tra tính đúng đắn của chương trình, và ngôn ngữ hình thức CSP (Communicating Sequential Processes) được dùng để xác định sự giao tiếp giữa các tiến trình đồng thời (trong đó có Bài toán bữa ăn tối của các triết gia) và là người truyền cảm hứng cho ngôn ngữ lập trình Occam.

Charles Antony Richard Hoare
Sinh11 tháng 1, 1934 (90 tuổi)
Colombo, Sri Lanka
Trường lớpĐại học Oxford
Đại học quốc gia Moskva
Nổi tiếng vìQuicksort
Luận lý Hoare
CSP
Giải thưởngGiải Turing
Sự nghiệp khoa học
NgànhKhoa học máy tính
Nơi công tácElliott Brothers
Đại học của Nữ hoàng tại Belfast
Đại học Oxford
Đại học quốc gia Moskva
Nhóm nghiên cứu Microsoft

Tiểu sử

sửa

Ông sinh tại Colombo (Tích Lan, ngày nay là Sri Lanka) trong một gia đình người Anh. Ông nhận được Bằng cử nhân ngành Cổ điển của Đại học Oxford (Trường Merton) vào năm 1956. Ông tiếp tục ở lại thêm một năm tại trường Oxford để học ngành thống kê cấp độ cử nhân, và đi nghĩa vụ quân sự tại Hải quân Hoàng gia (1956–1958). Ông bắt đầu học nói tiếng Nga khi đang theo học biên dịch máy tính từ ngôn ngữ con người tại Đại học quốc gia MoskvaLiên Xô, trong Trường Kolmogorov.

Vào năm 1960, ông rời Liên Xô và bắt đầu làm việc tại công ty trách nhiệm hữu hạn Elliott Brothers, một công ty sản xuất máy tính nhỏ, nơi ông đã hiện thực ALGOL 60 và bắt đầu phát triển các giải thuật một cách nghiêm túc[1]. Ông trở thành Giáo sư ngành Khoa học máy tính tại Đại học của Nữ hoàng tại Belfast vào năm 1968, và vào năm 1977 quay trở lại Oxford với cương vị Giáo sư ngành Tính toán, dẫn đầu Nhóm nghiên cứu lập trình tại Phòng thí nghiệm tính toán Đại học Oxford, sau khi Christopher Strachey qua đời. Hiện ông là Giáo sư danh dự tại đó, và cũng là một chuyên viên nghiên cứu cao cấp tại Nhóm nghiên cứu MicrosoftCambridge, Anh.

Ông cũng là người đã nói một câu nói nổi tiếng, "Chúng ta nên quên những hiệu suất nhỏ đi, tức đi là 97% thời gian chạy: tối ưu hóa nửa vời chính là cái gốc của mọi sai lầm." Vào thời điểm đó, câu nói này bị lầm tưởng là của Donald Knuth, người đã khiến cho nó trở nên phổ biến[2].

Giải thưởng

sửa

Sách đã viết

sửa
  • O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare (1972). Structured Programming. Academic Press. ISBN 0-12-200550-3.
  • C. A. R. Hoare (1985). Communicating Sequential Processes. (available online at http://www.usingcsp.com/ in PDF format). Prentice Hall International Series in Computer Science. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback.
  • C. A. R. Hoare and M. J. C. Gordon (1992). Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. ISBN 0-13-572405-8.
  • C. A. R. Hoare and He Jifeng (1998). Unifying Theories of Programming. Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8.

Tham khảo

sửa
  1. ^ a b C.A.R. Hoare (1981). “The emperor's old clothes” (PDF). Communications of the ACM. 24 (2): 5–83. doi:10.1145/358549.358561. ISSN 0001-0782.
  2. ^ Hyde, Randall (ngày 27 tháng 6 năm 2006). “The Fallacy of Premature Optimization”. ACM Ubiquity. Truy cập ngày 13 tháng 5 năm 2008.

Liên kết ngoài

sửa