C.A.R. Hoare
Sir Charles Antony Richard Hoare (Tony Hoare atau C.A.R. Hoare, lahir 11 Januari 1934) adalah seorang ilmuwan komputer dari Inggris, yang dikenal lewat algoritme 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.
| Sir Charles Antony Richard Hoare | |
|---|---|
 Sir Charles Antony Richard Hoare giving a conference at EPFL on 20 June 2011 | |
| Lahir | 11 Januari 1934 Colombo, British Ceylon |
| Tempat tinggal | Cambridge |
| Almamater | Oxford University Moscow State University |
| Dikenal atas | Quicksort Hoare logic CSP |
| Penghargaan | ACM Turing Award (1980) Harry H. Goode Memorial Award (1981) |
| Karier ilmiah | |
| Bidang | Ilmuwan komputer |
| Institusi | Elliott Brothers Queen's University Belfast Oxford University Moscow State University Microsoft Research |
| Mahasiswa doktoral | Stephen Brookes Cliff Jones David Naumann Bill Roscoe William Stewart |
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 algoritme. 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
sunting- 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
sunting
- (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.