Robin Milner

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
Robin Milner
Doğum Arthur John Robin Gorell Milner
13 Ocak 1934(1934-01-13)
Yealmpton, Plymouth, İngiltere
Ölüm 20 Mart 2010 (76 yaşında)
Cambridge, İngiltere
Dalı Bilgisayar bilimi
Çalıştığı yerler Stanford Üniversitesi
Edinburgh Üniversitesi
Doktora öğrencileri Mads Tofte (1988)
Faron Moller
Chris Tofts
Davide Sangiorgi (1993)[1][2]
Önemli başarıları ML
Aldığı ödüller Turing Ödülü (1991)[3]

Arthur John Robin Gorell Milner (13 Ocak 1934 - 20 Mart 2010), Britanyalı bilgisayar bilimcisi. ML programlama diline yaptığı katkılardan ötürü 1991'de Turing Ödülü'nü almaya hak kazanmıştır. 2005 yılında EATCS Ödülü'ne değer görülen Milner'ın Royal Society üyeliği de bulunmaktadır.

Kaynakça[değiştir | kaynağı değiştir]

  1. ^ Sangiorgi, Davide (1993). Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms (doktora). Edinburgh Üniversitesi. hdl:1842/6569. OCLC 29948444. Şablon:EThOS. 
  2. ^ Mathematics Genealogy Project'te Robin Milner
  3. ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. Cilt 36, s. 78-89. doi:10.1145/151233.151240.