C.A.R. Hoare

Dari Wikipedia Indonesia, ensiklopedia bebas berbahasa Indonesia.

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 algoritma Quicksort, salah satu algoritma 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.

[sunting] Buku

O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare (1972). Structured Programming, Academic Press. ISBN 0122005503.
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.