Nothing Special   »   [go: up one dir, main page]

İçeriğe atla

Robin Milner

Vikipedi, özgür ansiklopedi
Robin Milner
DoğumArthur John Robin Gorell Milner
13 Ocak 1934(1934-01-13)
Yealmpton, Plymouth, İngiltere
Ölüm20 Mart 2010 (76 yaşında)
Cambridge, İngiltere
ÖdüllerTuring Ödülü (1991)[1]
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarStanford Üniversitesi
Edinburgh Üniversitesi
Doktora öğrencileriMads Tofte (1988)
Faron Moller
Chris Tofts
Davide Sangiorgi (1993)[2][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.

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