Robin Milner

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
Tanınma nedeniML
ÖdüllerTuring Ödülü (1991)
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarStanford Üniversitesi
Edinburgh Üniversitesi
Doktora öğrencileriMads Tofte (1988)
Faron Moller
Chris Tofts
Davide Sangiorgi (1993)

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

  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