Robin Milner: Perbedaan antara revisi
Tampilan
Konten dihapus Konten ditambahkan
kTidak ada ringkasan suntingan |
Wagino Bot (bicara | kontrib) |
||
Baris 17: | Baris 17: | ||
* [http://north.ecc.edu/alsani/ct01(1-4)/msg00041.html A review of ''Proof, Language, and Interaction''] {{Webarchive|url=https://web.archive.org/web/20050204172933/http://north.ecc.edu/alsani/ct01(1-4)/msg00041.html |date=2005-02-04 }}, a book on computer science dedicated to Milner and covering many areas of his work |
* [http://north.ecc.edu/alsani/ct01(1-4)/msg00041.html A review of ''Proof, Language, and Interaction''] {{Webarchive|url=https://web.archive.org/web/20050204172933/http://north.ecc.edu/alsani/ct01(1-4)/msg00041.html |date=2005-02-04 }}, a book on computer science dedicated to Milner and covering many areas of his work |
||
* [http://www.fairdene.com/picalculus/robinmilner.html A brief biography of and speech by Robin Milner] {{Webarchive|url=https://web.archive.org/web/20051126170930/http://www.fairdene.com/picalculus/robinmilner.html |date=2005-11-26 }} |
* [http://www.fairdene.com/picalculus/robinmilner.html A brief biography of and speech by Robin Milner] {{Webarchive|url=https://web.archive.org/web/20051126170930/http://www.fairdene.com/picalculus/robinmilner.html |date=2005-11-26 }} |
||
{{DEFAULTSORT:Milner, Robin}} |
{{DEFAULTSORT:Milner, Robin}} |
||
⚫ | |||
[[Kategori:Penerima Penghargaan Turing]] |
[[Kategori:Penerima Penghargaan Turing]] |
||
⚫ |
Revisi terkini sejak 27 Agustus 2023 06.48
Robin Milner (13 Januari 1934 – 20 Maret 2010) adalah ilmuwan komputer dari Inggris.
Milner lulus dari King's College, Cambridge pada tahun 1957, dan sempat menjadi guru, dan programmer sebelum akhirnya kembali ke dunia akademik. Posisi terakhir yang dijabatnya adalah sebagai kepala lab di Computer Laboratory hingga tahun 1995.
Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan LCF, alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama ML. Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai Calculus of Communicating Systems (CCS), dan kemudian dikembangkan menjadi pi-Calculus.
Pada tahun 1991, Milner mendapat penghargaan Turing Award.
Sumber
[sunting | sunting sumber]- Proof, Language, and Interaction: Essays in Honour of Robin Milner Diarsipkan 2005-09-13 di Wayback Machine., edited by Gordon Plotkin, Colin Stirling and Mads Tofte. The MIT Press, 2000. ISBN 0-262-16188-5.
Pranala luar
[sunting | sunting sumber]- Milner's Cambridge homepage
- An interview with Robin Milner Diarsipkan 2005-01-09 di Wayback Machine. by Martin Berger, 3 September 2003
- A review of Proof, Language, and Interaction Diarsipkan 2005-02-04 di Wayback Machine., a book on computer science dedicated to Milner and covering many areas of his work
- A brief biography of and speech by Robin Milner Diarsipkan 2005-11-26 di Wayback Machine.