Doğum |
13 Ocak 1934 Yealmpton, Plymouth yakınlarında |
---|---|
Ölüm |
20 Mart 2010 Cambridge |
milliyet | ingiliz |
Alanlar | matematik, bilgisayar bilimi |
kurumlar |
Londra Şehir Üniversitesi Swansea Üniversitesi Stanford Üniversitesi Edinburgh Üniversitesi Cambridge Üniversitesi |
Diploma | BA Cambridge |
Eğitim | King's College, Cambridge Üniversitesi |
süpervizör | süpervizör yok: bir tezi savunmadı |
doktora öğrencileri | 19 |
Tarafından etkilenmiş | Christopher Strachey , Dana S. Scott , John McCarthy |
Ünlü | Hesaplanabilir Fonksiyonlar için Mantık (LCF), ML programlama dili, İletişim Sistemleri Hesabı (CCS). |
Ödüller |
Royal Society , Academia Europaea , British Computer Society, Royal Society of Edinburgh , ACM , Académie des sciences (Fransa) , National Academy of Engineering'in seçilmiş üyesi
|
Arthur John Robin Gorell Milner , doğdu13 Ocak 1934Yealmpton'da, Plymouth yakınlarında ve öldü20 Mart 2010içinde Cambridge , bir olan İngiliz bilgisayar bilimci .
Bir piyade subayının oğlu olan Milner, 1947'de Eton Koleji için bir burs kazandı . 1952'den 1954 yılları kursaklarında, Süveyş Kanalı askeri görevini yürütülen Kraliyet Mühendisleri , o da başka bir burs sayesinde, felsefe sonra matematik okudu o teğmeni rütbesiyle elde King'in College. Dan Cambridge Üniversitesi .
1957 yılında, onun elde BA at Cambridge Üniversitesi ve daha sonra yarı zamanlı işlerde, Londra'da çalıştı ve yılda en matematik öğretmeni olarak St Marylebone Gramer Okulu (in) bir şekilde 1960 yılında, nihayet ve programcı içinde Ferranti şirketi , bilgisayarlarından Sirius (in) kütüphane programlarından sorumludur .
1963 yılında özellikle Christopher Strachey'in çalışmaları sayesinde yapay zeka ile ilgilendiği City University of London'da matematik ve bilgisayar bilimleri öğretim üyesi olarak atandı . Swansea Üniversitesi'nde (1968-1971), Stanford Üniversitesi'nde (1971-1973) ve 1973'ten itibaren Edinburgh Üniversitesi'nde araştırma faaliyetlerini sürdürdü . 1979'dan 1980'e kadar Aarhus Üniversitesi'nde misafir profesör olarak kaldıktan sonra , 1984'te Edinburgh'da tam profesör ve 1986'dan 1989'a kadar kurucusu olduğu Bilgisayar Bilimi Temelleri Laboratuvarı'nın (içinde) direktörlüğüne atandı . Özellikle teorik bilgisayar bilimi öğretimini geliştirdi . 1995'te Milner, 1996'dan 1999'a kadar Cambridge Üniversitesi Bilgisayar Laboratuvarı'nı (in) yönettiği Cambridge Üniversitesi'ne geri döndü ve yavaş yavaş geri çekildi. 2001 yılında fahri profesör oldu ve araştırmalarına hem Cambridge'de hem de Edinburgh'da devam etti. 2006-2007 yıllarında düzenlenen Blaise-Pascal Uluslararası Araştırmalar Kürsüsü de Paris'te Ecole Normale Supérieure .
Milner her zaman pratik problemlerin teorik temelleriyle, özellikle diller, programlama, biçimsel kanıtlar ve soyut hesaplama modelleriyle ilgilendi.
O tarafından çalışmaları sonrasında geliştirilen Dana S. Scott içinde John McCarthy'nin araştırma grubu Stanford, teoremi gösterici de hesaplanabilir fonksiyonlar için Mantık (in) veya LCF için ilk araçlardan biri teoremleri otomatik gösteri .
Milner'ın LCF göstericisinin gerçekleştirilmesi için geliştirmekte olduğu ML programlama dili ( Meta-Language için ), polimorfik tür çıkarımına ve yazılı bir istisna işleme sistemine sahip ilk programlama dilidir . Dil, geliştirme ve eğitim için bir programlama diline dönüştü ve Milner, 1983'ten 1990'a kadar geliştirmesini Standard ML'ye yönlendirdi .
Tamamen farklı bir alanda, Milner eşzamanlı sistemlerin analizi için bir teori geliştirir , bu da İletişim Sistemleri Hesabı (tr) , CCS olur. ISO Geçici Sipariş Belirtimi Dili (en) veya LOTOS standardının temelidir . Joachim Parrow ve David Walker ile halefi olan pi-hesabı geliştirdi ve bunun için bisimülasyon kavramını da geliştirdi .
Son olarak, Tony Hoare ile birlikte çalıştığı her yerde bulunan hesaplama modelinde kullanılabilecek cebirsel grafik (in) kavramına dayalı bir matematiksel model tasarladı .
Hiçbir zaman bir tez savunmamış olmasına rağmen , çeşitli üniversitelerden fahri doktora derecesine sahiptir : Chalmers Politeknik (1988), Stirling Üniversitesi (1996), Bologna Üniversitesi (1997), Şehir Üniversitesi (1998), Aarhus Üniversitesi (1999), Üniversite Essex (2000), Edinburgh Üniversitesi (2003), Glasgow Üniversitesi (2005) ve Paris-Sud Üniversitesi (2007); o fahri adam arasında Swansea üniversitede (2004).
Milner ÖdülüRoyal Society , Milner Ödülü olarak adlandırılan bilgisayar teknolojisine olağanüstü katkılar için bir ödül verir . Alıcılar Xavier Leroy (2016), Thomas Henzinger (2015), Bernhard Schölkopf (2014), Serge Abiteboul (2013) ve Gordon Plotkin (2012)'dir.
Milner , 1966'dan beri her yıl teorik ve pratik bilgisayar bilimlerinde önemli ilerlemelere katkıda bulunan bir araştırmacıyı onurlandıran Milner Lecture adlı bir konferans düzenlemesi için Edinburgh Üniversitesi'ne bir vasiyette bulundu .
Robin Milner, bazıları erişilebilir olan ödüller veya fahri doktoralarda ders verdi: