Robin Milner - Vikipedi
- ️Sat Jan 13 1934
Vikipedi, özgür ansiklopedi
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] |
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.
- ^ 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