Robin Milner İngiliz bilgisayar bilimcisi

Robin Milner, tam olarak Arthur John Robin Gorell Milner, (13 Ocak 1934 doğumlu, Yealmpton, Devon, Eng. — 20 Mart 2010'da öldü, Cambridge, Cambridgeshire), İngiliz bilgisayar bilimcisi ve 1991 AM Turing Ödülü'nün galibi, bilgisayar teorisindeki en büyük onur, otomatik teorem kanıtlayıcıları, ML bilgisayar programlama dili ve genel bir eşzamanlılık teorisi ile yaptığı çalışmalar nedeniyle.

Milner Eton Koleji'ne gitti ve 1952'de Cambridge Üniversitesi'ne katılmak için burs kazandı, ancak önümüzdeki iki yıl boyunca Süveyş Kanalı'nda İngiliz ordusunun Kraliyet Mühendisleri ile birlikte hizmet ederken ders çalışmalarını ertelemek zorunda kaldı. Milner, Cambridge'e 1954'te girdi ve 1957'de matematik lisans derecesi ile mezun oldu. İlk olarak 1956 yazında okulun EDSAC bilgisayarını kullandığı programlamada kısa bir dersle hesaplamaya maruz kaldı. Bundan sonra, Milner Londra'ya taşındı ve burada Marylebone Gramer Okulu'nda (1959-60) matematik öğretimi sonrası matematik de dahil olmak üzere çeşitli işler yaptı ve Ferranti Ltd.'de derleyiciler geliştirmeden önce (Ferranti ilk ticari bilgisayarı üretti, Ferranti Mark I, 1951'de.)

1963'te Milner, Ferranti'den Londra Üniversitesi'nde akademik bir pozisyon için mühendislik öğrencilerine matematik öğrettiği ve yapay zeka (AI) ve veritabanlarına uygulama araştırmalarına başladı. 1968'de Milner, Galler Üniversitesi, Swansea'da bir araştırma pozisyonunu kabul etti ve burada program doğrulaması, otomatik teorem kanıtlama ve anlambilim üzerine çalıştı. 1971'de Milner, Stanford Üniversitesi'ndeki AI laboratuvarında John McCarthy ile çalışmak için Amerika Birleşik Devletleri'ne gitti. Milner, Edinburgh Üniversitesi'nde bir pozisyon kabul etmek için İngiltere'ye döndü ve burada otomatik bir teorem çözücüsü uygulamak için geliştirilen bir bilgisayar programlama dili olan ML'ye (“metalangu”) yardımcı oldu. 1995 yılında Milner Cambridge'e okulun bilgisayar laboratuarı başkanı olarak döndü. 2001 yılında emekli oldu.

Milner, diğer çalışmaların yanı sıra, İletişim Sistemleri için Matematik (1980), İletişim ve Eşzamanlılık (1989), İletişim ve Mobil Sistemler: Pi-Matematik (1999) ve İletişim Ajanslarının Mekan ve Hareketi (2009) 'un yazarıydı. Teorik Bilgisayar Bilimi, Teorik Bilgisayar Bilimi Araştırma Notları, Bilişimin Biçimsel Yönleri ve Bilgisayar Biliminde Matematiksel Yapıların editörlüğünü yaptı ve Edinburgh Kraliyet Cemiyeti Bildiriler Kitabı'nın (A Bölümü, Matematik) editör kurulunda yer aldı.

Milner Kraliyet Derneği (1988), İngiliz Bilgisayar Topluluğu (1988), Edinburgh Kraliyet Derneği (1993), Bilgisayar Makineleri Birliği (1994), Fransız Bilimler Akademisi (2005) ve ABD Ulusal Mühendislik Akademisi (2008). Turing Ödülü'ne ek olarak, Milner İngiliz Bilgisayar Topluluğu Teknik Ödülü (1987), Edinburgh Kraliyet Altın Madalyası Derneği (2004) ve Avrupa Teorik Bilgisayar Bilimi Üstün Başarılar Ödülü (2005) aldı.