Robin Milner, lengkap Arthur John Robin Gorell Milner, (lahir 13 Januari 1934, Yealmpton, Devon, Eng. — meninggal 20 Maret 2010, Cambridge, Cambridgeshire), ilmuwan komputer Inggris dan pemenang Turing Award 1991 AM, kehormatan tertinggi dalam ilmu komputer, untuk karyanya dengan prover teorema otomatis, bahasa pemrograman komputer ML, dan teori konkurensi umum.
Milner bersekolah di Eton College dan memenangkan beasiswa untuk kuliah di Universitas Cambridge pada tahun 1952, tetapi ia harus menunda kuliahnya sementara ia bertugas di Terusan Suez bersama Insinyur Kerajaan tentara Inggris selama dua tahun ke depan. Milner memasuki Cambridge pada tahun 1954 dan lulus dengan gelar sarjana matematika pada tahun 1957. Dia pertama kali berhadapan dengan komputasi pada musim panas 1956 dengan kursus singkat dalam pemrograman di mana dia menggunakan komputer EDSAC sekolah. Setelah itu, Milner pindah ke London, di mana ia memegang berbagai pekerjaan, termasuk pos mengajar matematika di Marylebone Grammar School (1959–60), sebelum ia menjadi programmer komputer dan mengembangkan kompiler di Ferranti Ltd. (Ferranti memproduksi komputer komersial pertama, Ferranti Mark I, pada tahun 1951.)
Pada tahun 1963 Milner meninggalkan Ferranti untuk posisi akademik di City University London, di mana ia mengajar matematika untuk mahasiswa teknik dan memulai penelitian dalam kecerdasan buatan (AI) dan penerapannya ke database. Pada 1968 Milner menerima posisi penelitian di University of Wales, Swansea, di mana ia bekerja pada verifikasi program, pembuktian teorema otomatis, dan semantik. Pada tahun 1971 Milner pergi ke Amerika Serikat untuk bekerja dengan John McCarthy di laboratorium AI di Universitas Stanford. Milner kembali ke Inggris pada tahun 1973 untuk menerima posisi di Universitas Edinburgh, di mana ia membantu merancang ML ("metalanguage"), bahasa pemrograman komputer yang dikembangkan untuk menerapkan pemecah teorema otomatis. Pada 1995 Milner kembali ke Cambridge sebagai kepala laboratorium komputer sekolah. Dia pensiun pada tahun 2001.
Di antara karya-karya lain, Milner adalah penulis A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999), dan Space and Motion of Communicating Agents (2009). Dia menjabat sebagai editor untuk Ilmu Komputer Teoritis, Catatan Penelitian dalam Ilmu Komputer Teoritis, Aspek Formal Komputasi, dan Struktur Matematika dalam Ilmu Komputer, dan dia berada di dewan editorial dari Prosiding Royal Society of Edinburgh: Bagian A, Matematika.
Milner terpilih untuk Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), French Academy of Sciences (2005), dan National US Akademi Teknik (2008). Selain Turing Award, Milner menerima Penghargaan Teknis Masyarakat Komputer Inggris (1987), Royal Society of Edinburgh Royal Gold Medal (2004), dan Asosiasi Eropa untuk Theoretical Computer Science Award Distinguished Achievements Award (2005).
