Robin Milner Britischer Informatiker

Robin Milner, in vollem Umfang Arthur John Robin Gorell Milner (* 13. Januar 1934 in Yealmpton, Devon, England; * 20. März 2010 in Cambridge, Cambridgeshire), englischer Informatiker und Gewinner des AM Turing Award 1991, the höchste Auszeichnung in der Informatik für seine Arbeit mit automatischen Theoremprüfern, der ML-Computerprogrammiersprache und einer allgemeinen Theorie der Parallelität.

Milner besuchte das Eton College und erhielt 1952 ein Stipendium für die Universität von Cambridge. Er musste jedoch seine Kursarbeit verschieben, während er die nächsten zwei Jahre bei den Royal Engineers der britischen Armee am Suezkanal diente. Milner kam 1954 nach Cambridge und schloss 1957 mit einem Bachelor in Mathematik ab. Im Sommer 1956 wurde er erstmals mit einem kurzen Programmierkurs vertraut gemacht, in dem er den EDSAC-Computer der Schule verwendete. Danach zog Milner nach London, wo er verschiedene Jobs innehatte, darunter eine Stelle als Mathematiklehrer an der Marylebone Grammar School (1959–60), bevor er Computerprogrammierer wurde und Compiler bei Ferranti Ltd. entwickelte (Ferranti produzierte den ersten kommerziellen Computer). der Ferranti Mark I, im Jahr 1951.)

1963 verließ Milner Ferranti für eine akademische Position an der City University London, wo er Ingenieurstudenten Mathematik unterrichtete und mit der Erforschung der künstlichen Intelligenz (KI) und ihrer Anwendung auf Datenbanken begann. 1968 nahm Milner eine Forschungsstelle an der University of Wales in Swansea an, wo er sich mit Programmverifizierung, automatischer Theoremprüfung und Semantik befasste. 1971 ging Milner in die USA, um mit John McCarthy im AI-Labor der Stanford University zu arbeiten. Milner kehrte 1973 nach Großbritannien zurück, um eine Stelle an der Universität von Edinburgh anzunehmen, wo er beim Entwurf von ML („Metalanguage“) half, einer Computerprogrammiersprache, die für die Implementierung eines automatischen Theoremlösers entwickelt wurde. 1995 kehrte Milner als Leiter des Computerlabors der Schule nach Cambridge zurück. Er ging 2001 in den Ruhestand.

Milner war unter anderem Autor von A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) und The Space and Motion of Communicating Agents (2009). Er war Redakteur für Theoretische Informatik, Forschungsnotizen in Theoretischer Informatik, Formale Aspekte des Rechnens und Mathematische Strukturen in der Informatik und Mitglied der Redaktion der Proceedings der Royal Society of Edinburgh: Sektion A, Mathematik.

Milner wurde in die Royal Society (1988), die British Computer Society (1988), die Royal Society of Edinburgh (1993), die Association of Computing Machinery (1994), die French Academy of Sciences (2005) und den US National gewählt Akademie der Ingenieurwissenschaften (2008). Neben dem Turing Award erhielt Milner einen Technical Award der British Computer Society (1987), eine Royal Gold Medal der Royal Society of Edinburgh (2004) und einen Distinguished Achievements Award der European Association for Theoretical Computer Science (2005).