Robin Milner - Vikipedi

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

[değiştir | kaynağı 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

g t d Turing Ödülü sahipleri
1960'lar	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970'ler	James H. Wilkinson (1970) John McCarthy (1971) Edsger W. Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell / Herbert A. Simon (1975) Michael O. Rabin / Dana Scott (1976) John Backus (1977) Robert W. Floyd (1978) Kenneth E. Iverson (1979)
1980'ler	Tony Hoare (1980) Edgar F. Codd (1981) Stephen A. Cook (1982) Ken Thompson / Dennis Ritchie (1983) Niklaus Wirth (1984) Richard M. Karp (1985) John Hopcroft / Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989)
1990'lar	Fernando J. Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis / Richard E. Stearns (1993) Edward Feigenbaum / Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) Jim Gray (1998) Fred Brooks (1999)
2000'ler	Andrew Yao (2000) Ole-Johan Dahl / Kristen Nygaard (2001) Ron Rivest / Adi Shamir / Leonard Adleman (2002) Alan Kay (2003) Vint Cerf / Bob Kahn (2004) Peter Naur (2005) Frances E. Allen (2006) Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009)
2010'lar	Leslie G. Valiant (2010) Judea Pearl (2011) Shafi Goldwasser / Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Martin Hellman / Whitfield Diffie (2015) Tim Berners-Lee (2016) John L. Hennessy / David Patterson (2017) Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018) Ed Catmull / Pat Hanrahan (2019)
2020'ler	Alfred Aho / Jeffrey Ullman (2020) Jack Dongarra (2021) Robert Metcalfe (2022) Avi Wigderson (2023) Andrew Barto / Richard S. Sutton (2024)

g t d EATCS Ödülü sahipleri
Karp (2000) Böhm (2001) Nivat (2002) Rozenberg (2003) Salomaa (2004) Milner (2005) Paterson (2006) Scott(2007) Valiant (2008) Huet (2009) Mehlhorn (2010) Trakhtenbrot (2011) Vardi (2012) Dyer (2013) Plotkin (2014) Papadimitriou (2015) Kozen (2016) Tardos (2017)

Bilgisayar bilimcisi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

Otorite kontrolü	ACM DL: 81332515695 BIBSYS: 90210333 BNF: cb12483422x (data) CiNii: DA03725531 DBLP: m/RobinMilner GND: 128466081 ISNI: 0000 0001 1559 9034 LCCN: n79133739 MGP: 143382 NKC: vut2011653923 NLA: 35746607 NLI: 987007438177805171 NTA: 074620355 RERO: A009055901 SUDOC: 034037535 Trove: 1068560 VIAF: 10415187 WorldCat (LCCN): n79-133739