Lompat ke isi

C.A.R. Hoare: Perbedaan antara revisi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Jelajahi riwayat secara interaktif
← Revisi sebelumnya
Konten dihapus Konten ditambahkan
VisualTeks wiki
Chobot (bicara | kontrib)
Bot
14.997 suntingan
k r2.6.5) (bot Mengubah: uk:Тоні Хоар
 
(24 revisi perantara oleh 11 pengguna tidak ditampilkan)
Baris 1: Baris 1:
{{Infobox scientist
⚫
[[Berkas:CAR Hoare.jpg|right|150px|Tony Hoare]]
⚫
| name = Sir Charles Antony Richard 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]].
| image = Sir Tony Hoare IMG 5125.jpg
| image_size =
| caption = Sir Charles Antony Richard Hoare giving a conference at [[EPFL]] on 20 June 2011
| birth_date = {{birth date and age|df=yes|1934|1|11}}
| birth_place = [[Colombo]], [[British Ceylon]]
| field = [[Ilmuwan komputer]]
| work_institution = [[Elliott Brothers (perusahaan komputer)|Elliott Brothers]]<br />[[Queen's University Belfast]]<br />[[Oxford University]]<br />[[Moscow State University]]<br />[[Microsoft Research]]
| alma_mater = [[Oxford University]]<br />[[Moscow State University]]
| doctoral_students = Stephen Brookes<br />[[Cliff Jones (ilmuwan komputer)|Cliff Jones]]<br />David Naumann<br />[[Bill Roscoe]]<br />William Stewart
| known_for = [[Quicksort]]<br />[[Hoare logic]]<br />[[Communicating Sequential Processes|CSP]]
| prizes = [[Penghargaan Turing|ACM Turing Award]] (1980) <br> [[Harry H. Goode Memorial Award]] (1981)
| residence = [[Cambridge]]
}}
⚫
[[Berkas:CAR Hoare.jpg|ka|150px|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 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]].


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 [[Andrey Nikolayevich Kolmogorov|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.
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 [[Andrey Nikolayevich Kolmogorov|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 [[Association for Computing Machinery|ACM]] atas jasanya dalam memberikan kontribusi yang fundamental dalam pendefinisian dan perancangan bahasa pemrograman.
Pada tahun [[1980]], Hoare mendapat penghargaan [[Turing Award]] dari [[Association for Computing Machinery|ACM]] atas jasanya dalam memberikan kontribusi yang fundamental dalam pendefinisian dan perancangan bahasa pemrograman.


== Buku ==
== Buku ==
* {{cite book
* {{cite book
| author = [[Ole-Johan Dahl|O.-J. Dahl]], [[Edsger Dijkstra|E. W. Dijkstra]] and C. A. R. Hoare
| author = [[Ole-Johan Dahl|O.-J. Dahl]], [[Edsger Dijkstra|E. W. Dijkstra]] and C. A. R. Hoare
| year = 1972
| year = 1972
| title = Structured Programming
| title = Structured Programming
| publisher = [[Academic Press]]
|publisher = [[Academic Press]]
| id = ISBN 0-12-200550-3
| id = ISBN 0-12-200550-3
}}
}}
* {{cite book
* {{cite book
| author = C. A. R. Hoare
| author = C. A. R. Hoare
| year = 1985
| year = 1985
| title = [[Communicating Sequential Processes]]
| title = [[Communicating Sequential Processes]]
| publisher = [[Prentice Hall]] International Series in Computer Science
|publisher = [[Prentice Hall]] International Series in Computer Science
| id = ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback
| id = ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback
}}
}}
* {{cite book
* {{cite book
| author = C. A. R. Hoare and [[Michael J.C. Gordon|M. J. C. Gordon]]
| author = C. A. R. Hoare and [[Michael J.C. Gordon|M. J. C. Gordon]]
| year = 1992
| year = 1992
| title = Mechanised Reasoning and Hardware Design
| title = Mechanised Reasoning and Hardware Design
| publisher = Prentice Hall International Series in Computer Science
|publisher = Prentice Hall International Series in Computer Science
| id = ISBN 0-13-572405-8
| id = ISBN 0-13-572405-8
}}
}}
* {{cite book
* {{cite book
| author = C. A. R. Hoare and [[He Jifeng]]
| author = C. A. R. Hoare and [[He Jifeng]]
| year = 1998
| year = 1998
| title = [[Unifying Theories of Programming]]
| title = [[Unifying Theories of Programming]]
| publisher = Prentice Hall International Series in Computer Science
|publisher = Prentice Hall International Series in Computer Science
| id = ISBN 0-13-458761-8
| id = ISBN 0-13-458761-8
}}
}}


Baris 40: Baris 55:
* {{en}} [http://research.microsoft.com/users/thoare/ Microsoft home page] — biografi ringkas
* {{en}} [http://research.microsoft.com/users/thoare/ Microsoft home page] — biografi ringkas
* {{en}} [http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html Oxford University Computing Laboratory home page] — Emeritus Professor of Computing
* {{en}} [http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html Oxford University Computing Laboratory home page] — Emeritus Professor of Computing
* {{en}} [http://www.braithwaite-lee.com/opinions/p75-hoare.pdf transkrip pidato Hoare pada saat penyerahan Turing Award dari ACM tahun 1980]
* {{en}} [http://www.braithwaite-lee.com/opinions/p75-hoare.pdf transkrip pidato Hoare pada saat penyerahan Turing Award dari ACM tahun 1980] {{Webarchive|url=https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf |date=2003-03-15 }}
{{Rekayasa perangkat lunak}}

{{Authority control}}


{{DEFAULTSORT:Hoare, Charles}}
{{DEFAULTSORT:Hoare, Charles}}

[[Kategori:Kelahiran 1934]]
[[Kategori:Kelahiran 1934]]
[[Kategori:Pionir komputer]]
[[Kategori:Pionir komputer]]
[[Kategori:Ilmuwan komputer Britania Raya]]
[[Kategori:Ilmuwan komputer Britania Raya]]
[[Kategori:Penerima Turing Award]]
[[Kategori:Penerima Penghargaan Turing]]

[[bn:টোনি হোর]]
[[bs:C. A. R. Hoare]]
[[cs:C. A. R. Hoare]]
[[de:Tony Hoare]]
[[en:C. A. R. Hoare]]
[[es:C. A. R. Hoare]]
[[fi:C. A. R. Hoare]]
⚫
[[fr:Charles Antony Richard Hoare]]
[[hr:C. A. R. Hoare]]
[[hy:Չարլզ Էնթոնի Ռիչարդ Հոար]]
[[it:Tony Hoare]]
[[ja:アントニー・ホーア]]
[[ko:찰스 앤터니 리처드 호어]]
[[nl:Tony Hoare]]
[[pl:C.A.R. Hoare]]
[[pt:C. A. R. Hoare]]
[[ro:C. A. R. Hoare]]
[[ru:Хоар, Чарльз Энтони Ричард]]
[[simple:Charles Antony Richard Hoare]]
[[sk:Charles Antony Richard Hoare]]
[[sr:Тони Хор]]
[[uk:Тоні Хоар]]
[[vi:Charles Antony Richard Hoare]]

Revisi terkini sejak 1 Agustus 2022 19.23

Sir Charles Antony Richard Hoare
Sir Charles Antony Richard Hoare giving a conference at EPFL on 20 June 2011
Lahir11 Januari 1934 (umur 90)
Colombo, British Ceylon
Tempat tinggalCambridge
AlmamaterOxford University
Moscow State University
Dikenal atasQuicksort
Hoare logic
CSP
PenghargaanACM Turing Award (1980)
Harry H. Goode Memorial Award (1981)
Karier ilmiah
BidangIlmuwan komputer
InstitusiElliott Brothers
Queen's University Belfast
Oxford University
Moscow State University
Microsoft Research
Mahasiswa doktoralStephen Brookes
Cliff Jones
David Naumann
Bill Roscoe
William Stewart
Tony Hoare
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 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.

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 | sunting sumber]

Pranala luar

[sunting | sunting sumber]
Wikiquote memiliki koleksi kutipan yang berkaitan dengan: C.A.R. Hoare.
Diperoleh dari "https://wiki-indonesia.club/w/index.php?title=C.A.R._Hoare&oldid=21473186"