Robin Milner
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
- 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
- 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.
| Internasional | |
|---|---|
| Nasional | |
| Akademik | |
| Orang | |
| Lain-lain | |
  | Artikel bertopik biografi Inggris ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya. |
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.