Robin Milner
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 |
| Ö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.
Kaynakça
- ^ 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. |
Otorite kontrolü  |
|
|---|
