Sari la conținut

Robin Milner

De la Wikipedia, enciclopedia liberă
Versiunea pentru tipărire nu mai este suportată și poate avea erori de randare. Vă rugăm să vă actualizați bookmarkurile browserului și să folosiți funcția implicită de tipărire a browserului.
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