C.A.R. Hoare

Sir Charles Antony Richard Hoare
Hoare (2011)
Lahir	(1934-01-11)11 Januari 1934 Colombo, Ceylon Britania
Meninggal	5 Maret 2026(2026-03-05) (umur 92) Cambridge, Inggris
Almamater	Universitas Oxford Universitas Negeri Moskow
Dikenal karena	Quicksort Hoare logic Pemrograman terstruktur
Karier ilmiah
Bidang	Ilmuwan komputer
Tempat kerja	Elliott Brothers Universitas Queen Belfast Universitas Oxford Universitas Negeri Moskow Microsoft Research
Mahasiswa doktoral	Stephen Brookes Cliff Jones David Naumann Bill Roscoe William Stewart

Sir Charles Antony Richard Hoare (Tony Hoare atau C.A.R. Hoare, 11 Januari 1934 – 5 Maret 2026) adalah seorang ilmuwan komputer dari Inggris, yang dikenal lewat algoritma Quicksort, salah satu algoritme sorting yang paling sering digunakan. Hoare juga dikenal lewat logika Hoare, dan juga bahasa formal Communicating Sequential Processes (CSP) yang digunakan untuk menyatakan interaksi antar proses konkuren, dan juga menjadi inspirasi dalam pengembangan bahasa pemrograman Occam.

Hoare lahir di Kolombo, Sri Lanka, dan menyelesaikan pendidikan sarjana di bidang Classics dari Universitas Oxford (Merton College) pada tahun 1956. Ia kemudian meneruskan satu tahun di sana untuk belajar statistik level pascasarjana, dan kemudian melakukan wajib militer di Angkatan Laut Inggris (1956–1958), yang pada saat yang sama dia belajar bahasa Rusia, dan juga mempelajari penerjemahan bahasa menggunakan komputer di Moscow State University, Soviet Union di sekolah Kolmogorov. Pada tahun 1960, setelah krisis U-2, Hoare keluar dari Uni Soviet dan bekerja di Elliott Brothers Ltd, sebuah perusahaan manufaktur kecil, dan di sana dia mengimplementasikan bahasa pemrograman ALGOL 60 dan memulai mengembangkan algoritma. Hoare kemudian menjadi Profesor di bidang Computing Science di Queen's University, Belfast pada 1968, dan pada tahun 1977 kembali ke Oxford sebagai Professor of Computing dan memimpin Programming Research Group di Oxford University Computing Laboratory, setelah wafatnya Christopher Strachey. Saat ini dia menjabat sebagai Professor Emeritus di sana, dan juga sebagai peneliti senior di Microsoft Research Cambridge, Inggris.

Pada tahun 1980, Hoare mendapat penghargaan Turing Award dari ACM atas jasanya dalam memberikan kontribusi yang fundamental dalam pendefinisian dan perancangan bahasa pemrograman.

Buku

• 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. 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.

Pranala luar

• (Inggris) Microsoft home page — biografi ringkas
• (Inggris) Oxford University Computing Laboratory home page — Emeritus Professor of Computing
• (Inggris) transkrip pidato Hoare pada saat penyerahan Turing Award dari ACM tahun 1980 Diarsipkan 2003-03-15 di Wayback Machine.