Charles Antony Richard Hoare

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm
Charles Antony Richard Hoare

Sinh 11 tháng 1, 1934 (80 tuổi)
Colombo, Sri Lanka
Ngành Khoa học máy tính
Alma mater Đạ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ưởng Giải Turing

Sir Charles Antony Richard Hoare (Tony Hoare hay C.A.R. Hoare, sinh ngày 11 tháng 1, 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.

Tiểu sử[sửa | sửa mã nguồn]

Ô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ửa mã nguồn]

Sách đã viết[sửa | sửa mã nguồn]

Tham khảo[sửa | sửa mã nguồn]

  1. ^ a ă C.A.R. Hoare (February năm 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 (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 | sửa mã nguồn]