Sari la conținut

Robin Milner

De la Wikipedia, enciclopedia liberă
Robin Milner
Date personale
Născut1934
Plymouth, Anglia, Regatul Unit
Decedat (76 de ani)[1] Modificați la Wikidata
Cambridge, Anglia, Regatul Unit Modificați la Wikidata
Cauza decesuluicauze naturale (infarct miocardic) Modificați la Wikidata
Cetățenie Regatul Unit Modificați la Wikidata
Ocupațieinformatician
inginer
cadru didactic universitar[*]​ Modificați la Wikidata
Limbi vorbitelimba engleză[4] Modificați la Wikidata
Activitate
RezidențăRegatul Unit Regatul Unit
Domeniuinformatician
InstituțieFerranti
City University, Londra
Universitatea Swansea
Universitatea Stanford
Universitatea Edinburgh
Universitatea Cambridge
Alma MaterEton College[*][[Eton College (school in Windsor and Maidenhead, UK)|​]]
King's College[*][[King's College (college of the University of Cambridge)|​]]  Modificați la Wikidata
OrganizațiiSocietatea Regală din Londra
Academia Europaea[*]​[2]
Academia Franceză de Științe
Royal Society of Edinburgh[*][[Royal Society of Edinburgh (academy of sciences)|​]]
Association for Computing Machinery[3]  Modificați la Wikidata
Cunoscut pentruML
LCF
Analiza sistemelor comunicante
PremiiPremiul Turing, 1990
Modifică date / text Consultați documentația formatului

Robin Milner (n. , Plymouth, Anglia, Regatul Unit – d. , Cambridge, Anglia, Regatul Unit) a fost un informatician englez, cunoscut pentru dezvoltarea sistemului de demonstrare a teoremelor LCF, pentru care a inventat limbajul funcțional ML, în care a introdus pentru prima oară tiparea implicită și un sistem type-safe de tratare a excepțiilor. De asemenea, Milner a construit un cadru teoretic pentru analiza sistemelor concurente, cadru denumit analiza sistemelor comunicante. Pentru aceste trei realizări, a primit Premiul Turing în 1990.

 Acest articol biografic despre un englez este un ciot. Puteți ajuta Wikipedia prin completarea lui!


v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cook (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gray (1998) · Brooks (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)  · Pearl (2011)  · Micali / Goldwasser (2012)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)  · Tim Berners-Lee (2016)  · John L. Hennessy / David Patterson (2017)  · Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018)  · Ed Catmull / Pat Hanrahan (2019)  · Alfred Aho / Jeffrey Ullman (2020)  · Jack Dongarra (2021)  · Robert Metcalfe (2022)  · Avi Wigderson (2023)

  1. ^ https://www.timesonline.co.uk/tol/comment/obituaries/article7081867.ece  Lipsește sau este vid: |title= (ajutor)
  2. ^ https://www.ae-info.org/ae/User/Milner_Robin  Lipsește sau este vid: |title= (ajutor)
  3. ^ https://awards.acm.org/fellows/award-recipients, accesat în   Lipsește sau este vid: |title= (ajutor)
  4. ^ IdRef, accesat în  
Adus de la https://ro.wikipedia.org/w/index.php?title=Robin_Milner&oldid=15540715