Arthur John Robin Gorell Milner FRS FRSE (Sind Robin Milner oder A.J.R.G. Milner, geboren am 13. Januar 1934 in der Nähe von Plymouth, am 20. März 2010 in Cambridge gestorben), war ein prominenter britischer Computerwissenschaftler.

Leben, Ausbildung und Karriere

Milner ist in Yealmpton, in der Nähe von Plymouth, England in eine militärische Familie geboren gewesen. Er wurde einer Gelehrsamkeit der Eton Universität 1947 zuerkannt, und hat nachher in den Königlichen Ingenieuren gedient, die Reihe des Unterleutnanten erreichend. Er hat sich dann in der Universität des Königs, Cambridge eingeschrieben, 1957 graduierend, Milner hat zuerst als ein Lehrer dann als ein Programmierer an Ferranti, vor der hereingehenden Akademie an der Stadtuniversität, London, dann Swansea Universität, Universität von Stanford, und von 1973 an der Universität Edinburghs gearbeitet, wo er ein Mitbegründer des Laboratoriums für Fundamente der Informatik (LFCS) war. Er ist zu Cambridge als der Kopf des Computerlaboratoriums 1995 zurückgekehrt, von dem er schließlich zurückgetreten ist, obwohl er noch am Laboratorium war. Von 2009 war Milner ein SICSA der Fortgeschrittene Forschungsgefährte und hat (Teilzeit-) der Vorsitzende der Informatik an der Universität Edinburghs gehalten.

Milner ist an einem Herzanfall am 20. März 2010 in Cambridge gestorben. Seine Frau, Lucy, ist kurz vor ihm gestorben.

Beiträge

Milner wird allgemein als geleistet drei Hauptbeiträge zur Informatik betrachtet. Er hat LCF, eines der ersten Werkzeuge für den automatisierten Lehrsatz-Beweis entwickelt. Die Sprache, die er für LCF, ML entwickelt hat, war die erste Sprache mit der polymorphen Typ-Schlussfolgerung und dem vor dem Typ sicheren Ausnahme-Berühren. In einem sehr verschiedenen Gebiet hat Milner auch ein theoretisches Fachwerk entwickelt, um gleichzeitige Systeme, die Rechnung von kommunizierenden Systemen (CCS), und seinen Nachfolger, die Pi-Rechnung zu analysieren. Zur Zeit seines Todes arbeitete er an bigraphs, einem Formalismus für die allgegenwärtige Computerwissenschaft, die CCS und die Pi-Rechnung unterordnet.

Besondere Auszeichnungen und Preise

Er wurde ein Gefährte der Königlichen Gesellschaft 1988 gemacht und hat den ACM Turing Preis 1991 erhalten. 1994 wurde er als ein Gefährte des ACM eingeweiht. 2004 hat die Königliche Gesellschaft Edinburghs Milner mit einer Königlichen Medaille für sein "Verursachen öffentlicher Vorteile auf einer globalen Skala" zuerkannt. 2008 wurde er zu einem Ausländischen Partner der Nationalen Akademie der Technik für "grundsätzliche Beiträge zur Informatik, einschließlich der Entwicklung von LCF, ML, CCS und der Pi-Rechnung gewählt."

Ausgewählte Veröffentlichungen

• Eine Rechnung von Kommunizierenden Systemen, Robin Milner. Springer-Verlag (LNCS 92), 1980. Internationale Standardbuchnummer 3-540-10235-3
• Kommunikation und Parallelität, Robin Milner. Prentice Hall (Internationale Reihe in der Informatik), 1989. Internationale Standardbuchnummer 0-13-115007-3
• Die Definition von Normalem ML, Robin Milner, Mads Tofte, Robert Harper, MIT Presse 1990
• Die Definition von Standard ML (Revidiert), Robin Milner, Mads Tofte, Robert Harper, David MacQueen, MIT Presse 1997. Internationale Standardbuchnummer 0-262-63181-4
• Kommentar zu Normalem ML, Robin Milner, Mads Tofte, MIT Presse 1997. Internationale Standardbuchnummer 0-262-63137-7
• Das Kommunizieren und Bewegliche Systeme: die Pi-Rechnung, Robin Milner. Universität von Cambridge Presse, 1999. Internationale Standardbuchnummer 0-521-65869-1
• Der Raum und die Bewegung von Kommunizierenden Agenten, Robin Milner, Universität von Cambridge Presse, 2009. Internationale Standardbuchnummer 978-0-521-73833-0
• Veröffentlichungen von Robin Milner in DBLP

Bibliografie

• Beweis, Sprache und Wechselwirkung: Aufsätze zu Ehren von Robin Milner, der von Gordon Plotkin, Colin Stirling und Mads Tofte editiert ist. Die MIT-Presse, 2000. Internationale Standardbuchnummer 0-262-16188-5.
• Die Königliche Gesellschaft Edinburghs: Königliche Goldmedaillen für das Hervorragende Zu-Stande-Bringen (2004-Presseinformation).

• Eine kurze Lebensbeschreibung und Rede von Robin Milner
• Eine kurze wissenschaftliche Lebensbeschreibung von Robin Milner (vom Beweis, der Sprache und der Wechselwirkung: Aufsätze zu Ehren von Robin Milner)

Außenverbindungen

• Adresse in Bologna, eine kurze Adresse durch Milner beim Empfangen von Laurea Honoris Causa in der Informatik von der Universität Bolognas, einige seiner Hauptarbeiten, am 9. Juli 1997 zusammenfassend
• Ist Informatik eine Wissenschaft? Konferenz an ENS, am 10. Dezember 2007