Robin Milner, sepenuhnya Arthur John Robin Gorell Milner, (lahir 13 Januari 1934, Yealmpton, Devon, Eng. — meninggal 20 Mac 2010, Cambridge, Cambridgeshire), saintis komputer Inggeris dan pemenang Anugerah Turing AM 1991, yang penghormatan tertinggi dalam sains komputer, untuk karyanya dengan pembuktian teorem automatik, bahasa pengaturcaraan komputer ML, dan teori umum bersamaan.
Milner menghadiri Eton College dan memperoleh biasiswa untuk menghadiri University of Cambridge pada tahun 1952, tetapi dia terpaksa menangguhkan kerja kursus semasa dia bertugas di Terusan Suez bersama Jurutera Diraja tentera Inggeris untuk dua tahun akan datang. Milner memasuki Cambridge pada tahun 1954 dan lulus dengan ijazah sarjana muda dalam matematik pada tahun 1957. Dia pertama kali didedahkan dengan komputer pada musim panas 1956 dengan kursus pendek dalam pengaturcaraan di mana dia menggunakan komputer EDSAC sekolah. Selepas itu, Milner pindah ke London, di mana dia memegang pelbagai pekerjaan, termasuk mengajar matematik pasca di Marylebone Grammar School (1959-60), sebelum dia menjadi pengaturcara komputer dan mengembangkan penyusun di Ferranti Ltd. (Ferranti menghasilkan komputer komersial pertama, Ferranti Mark I, pada tahun 1951.)
Pada tahun 1963 Milner meninggalkan Ferranti untuk kedudukan akademik di City University London, di mana dia mengajar matematik kepada pelajar kejuruteraan dan memulakan penyelidikan dalam kecerdasan buatan (AI) dan aplikasinya ke pangkalan data. Pada tahun 1968 Milner menerima kedudukan penyelidikan di University of Wales, Swansea, di mana dia bekerja pada pengesahan program, pembuktian teorema automatik, dan semantik. Pada tahun 1971 Milner pergi ke Amerika Syarikat untuk bekerja dengan John McCarthy di makmal AI di Universiti Stanford. Milner kembali ke Britain pada tahun 1973 untuk menerima jawatan di University of Edinburgh, di mana dia membantu merancang ML ("metalanguage"), bahasa pengaturcaraan komputer yang dikembangkan untuk melaksanakan pemecah teorem automatik. Pada tahun 1995 Milner kembali ke Cambridge sebagai ketua makmal komputer sekolah. Dia bersara pada tahun 2001.
Antara karya lain, Milner adalah pengarang A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999), dan The Space and Motion of Communicating Agents (2009). Dia berkhidmat sebagai editor untuk Sains Komputer Teoritis, Nota Penyelidikan dalam Sains Komputer Teoritis, Aspek Formal Pengkomputeran, dan Struktur Matematik dalam Sains Komputer, dan dia berada di dewan editorial Prosiding Royal Society of Edinburgh: Bahagian A, Matematik.
Milner terpilih menjadi Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), French Academy of Sciences (2005), dan US National Akademi Kejuruteraan (2008). Sebagai tambahan kepada Anugerah Turing, Milner menerima Anugerah Teknikal Persatuan Komputer Britain (1987), Pingat Emas Diraja Persatuan Edinburgh (2004), dan Persatuan Eropah untuk Anugerah Pencapaian Ilmu Komputer Teoretikal (2005).
![Dan Kemudian Tidak Ada filem oleh Clair [1945]](https://images.thetopknowledge.com/img/entertainment-pop-culture/9/then-there-were-none-film-clair-1945.jpg "Dan Kemudian Tidak Ada filem oleh Clair [1945]")
