Robin Milner
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.
Robin Milner | |
---|---|
Doğum | Arthur John Robin Gorell Milner 13 Ocak 1934 Yealmpton, Plymouth, İngiltere |
Ölüm | 20 Mart 2010 (76 yaşında) Cambridge, İngiltere |
Ödüller | Turing Ödülü (1991)[1] |
Kariyeri | |
Dalı | Bilgisayar bilimi |
Çalıştığı kurumlar | Stanford Üniversitesi Edinburgh Üniversitesi |
Doktora öğrencileri | Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)[2][3] |
Kaynakça
değiştir- ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. Cilt 36. ss. 78-89. doi:10.1145/151233.151240.
- ^ 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.
- ^ Mathematics Genealogy Project'te Robin Milner
Bilgisayar bilimcisi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |