Milner, Robin

Robin Milner
Arthur John Robin Gorell Milner
Fødselsdato 13. januar 1934( 13-01-1934 )
Fødselssted Plymouth , Storbritannien
Dødsdato 20. marts 2010 (76 år)( 2010-03-20 )
Et dødssted Cambridge , Storbritannien
Land  Storbritanien
Videnskabelig sfære Informatik
Arbejdsplads Cambridge universitet
Alma Mater King's College (Cambridge)
Kendt som LCF , ML , CCS , Pi-regning
Præmier og præmier Turing Award ( 1991 ) Friedrich L. Bauer-prisen ( 1994 ) European Association for Theoretical Computer Science Prize [d] ( 2005 ) Programming Languages ​​Achievement Award [d] ( 2001 ) æresdoktor fra University of Edinburgh [d] æresdoktor fra University of Glasgow [d] Hej ACM Fellow i Royal Society of Edinburgh [d] medlem af British Computer Society [d] æresdoktor ved University of Stirling [d]

Robin Milner ( eng.  Arthur John Robin Gorell Milner ; 13. januar 1934  - 20. marts 2010 [1] , Cambridge , UK ) - engelsk datamatiker.

Medlem af Royal Society of London (1988) [2] , udenlandsk medlem af det franske videnskabsakademi (2005) [3] , US National Academy of Engineering (2008) [4] .

Biografi

Robin Milner blev født i Plymouth til en militærfamilie. Fra 1947 studerede han ved Eton College , derefter (siden 1952) tjente han to år i hæren (i Royal Engineers) til rang af sekondløjtnant . Milner gik derefter ind på King's College Cambridge, dimitterede i 1957 . Efter sin eksamen fra college arbejdede han som matematiklærer på gymnasiet i et år, derefter som programmør for Ferranti i tre år [5] .

Milner kom endelig på college og arbejdede først på City University London , derefter på Swansea University og Stanford University , og fra 1973 på University of Edinburgh . Der var han med til at stifte Laboratory for Foundations of Computer Science (LFCS). I 1995 vendte Milner tilbage til Cambridge , hvor han blev leder af datalogiafdelingen. I 1999 gik han på pension. Gift, har to børn.

Milner udviklede LCF (Logic for Computable Functions) teorembevissystemet . Det funktionelle programmeringssprog ML blev oprettet til dette system . Senere udviklede Robin Milner calculus of interacting systems (CCS), en teoretisk ramme for analyse af interagerende systemer , såvel som dens udvidelse, pi-calculus . Milner er modtager af ni æresdoktorgrader fra forskellige universiteter.

I september 2010 var Milner den 25. mest citerede forfatter i CiteSeer- projektet [6] .

Priser (uddrag)

Noter

  1. ↑ Martin Campbell-Kelly. Robin Milner nekrolog  //  The Guardian . - 1. april 2010.
  2. ↑ Milner; Arthur John Robin Gorell (1934 - 2010) // Website for Royal Society of London  (engelsk)
  3. ↑ Les membres du passé dont le nom commence par M Arkiveret 26. oktober 2020 på Wayback Machine  (FR)
  4. ↑ Professor Robin Milner Arkiveret 16. januar 2021 på Wayback Machine  
  5. ↑ CURRICULUM VITAE (revideret i januar 2008) . Hentet 10. januar 2009. Arkiveret fra originalen 10. april 2009.
  6. ↑ Statistik - Mest citerede forfattere i datalogi arkiveret 1. maj 2012 på Wayback Machine  (Få adgang 1. januar 2011)

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier
 Turing prisvindere