Robin Milner
Görünüm
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.
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. |
Kategori:
- Bilgisayar bilimcisi taslakları
- 1934 doğumlular
- Plymouth doğumlular
- 2010 yılında ölenler
- Britanyalı bilgisayar bilimcileri
- Eton College'da öğrenim görenler
- King's College'da öğrenim görenler
- Royal Society üyeleri
- Turing Ödülü sahipleri
- Londra Şehir Üniversitesi öğretim üyeleri
- Swansea Üniversitesi öğretim üyeleri
- Stanford Üniversitesi Mühendislik Fakültesi öğretim üyeleri
- Edinburgh Üniversitesi öğretim üyeleri
- Biçimsel yöntemler kişileri
- Association for Computing Machinery Fellow'ları
- Programlama dili tasarımcıları
- Programlama dili araştırmacıları
- Royal Society of Edinburgh üyeleri
- Britanyalı karacı subayları
- Fransız Bilimler Akademisi üyeleri
- Bilgisayar bilimi yazarları