Robin değirmenci

Robin değirmenci Anahtar veri
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 .

biyografi

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 .   

İşler

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ı .

Başarılar ve ayrımlar

Ödül ve adaylıkDoktora fahri

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 .

Kitabın

Konferanslar

Robin Milner, bazıları erişilebilir olan ödüller veya fahri doktoralarda ders verdi:

Notlar ve referanslar

  1. (in) "  Robin Milner  " üzerine sitenin Matematik Şecere Projesi
  2. "  [TÜRLER] Çok üzücü bir haber  "
  3. "  Rahmetli Robin Milner - Ultimate Lambda  "
  4. (içinde) Robin Milner: The Elegant Pragmatist , Leah Hoffman, Communications of the ACM, cilt. 53, n o  6, sayfa 20-21.
  5. (içinde) "  ACM Ödülleri: AM Turing Ödülü  " [ arşiv12 Aralık 2009] ( 22 Mart 2010'da erişildi )
  6. "  Ulusal Mühendislik Akademisi 65 Üye ve Dokuz Yabancı Ortak Seçiyor  "
  7. Royal Society Milner Ödülü .

bibliyografya

Dış bağlantılar