C.A.R. Hoare

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Langsung ke: navigasi, cari
Sir Charles Antony Richard Hoare

Sir Charles Antony Richard Hoare giving a conference at EPFL on 20 June 2011
Lahir 11 Januari 1934 (umur 80)
Colombo, British Ceylon
Tempat tinggal Cambridge
Bidang Ilmuwan komputer
Institusi Elliott Brothers
Queen's University Belfast
Oxford University
Moscow State University
Microsoft Research
Alma mater Oxford University
Moscow State University
Mahasiswa
doktoral
Stephen Brookes
Cliff Jones
David Naumann
Bill Roscoe
William Stewart
Dikenal atas Quicksort
Hoare logic
CSP
Penghargaan ACM Turing Award (1980)
Harry H. Goode Memorial Award (1981)
Tony 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 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 (19561958), 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[sunting | sunting sumber]

Pranala luar[sunting | sunting sumber]