Robinas Milneris britų kompiuterių mokslininkas

Robinas Milneris, visas Arthur John Robin Gorell Milner, (g. 1934 m. Sausio 13 d. Yealmpton, Devon, Eng. - mirė 2010 m. Kovo 20 d., Kembridžas, Kembridžšyras), anglų informatikas ir 1991 m. AM Turingo premijos laureatas. aukščiausia informatikos garbė už jo darbą su automatinėmis teoremų įrodymais, ML kompiuterio programavimo kalba ir bendra lygiagretumo teorija.

Milneris dalyvavo Etono koledže ir laimėjo stipendiją dalyvauti Kembridžo universitete 1952 m., Tačiau jis turėjo atidėti savo kursinį darbą, kol ateinančius dvejus metus tarnavo Sueco kanale kartu su Didžiosios Britanijos armijos karališkaisiais inžinieriais. Milneris įstojo į Kembridžą 1954 m., O 1957 m. Baigė matematikos bakalauro laipsnį. Pirmą kartą jis susidūrė su kompiuterija 1956 m. Vasarą, parengęs trumpą programavimo kursą, kuriame jis naudojosi mokyklos EDSAC kompiuteriu. Po to Milneris persikėlė į Londoną, kur ėjo įvairius darbus, įskaitant matematikos mokymą Marylebone gramatikos mokykloje (1959–60), prieš tapdamas kompiuterių programuotoju ir sukūręs kompiliatorius Ferranti Ltd. (Ferranti pagamino pirmąjį komercinį kompiuterį, Ferranti Markas I, 1951 m.)

1963 m. Milneris paliko Ferranti akademinėms pareigoms Londono miesto universitete, kur dėstė matematiką inžinerijos studentams ir pradėjo dirbtinio intelekto (AI) bei jo taikymo duomenų bazėse tyrimus. 1968 m. Milneris priėmė mokslo darbuotojo pareigas Velso universitete, Svanse, kur dirbo programų patikrinimo, automatinio teoremų įrodymo ir semantikos srityse. 1971 m. Milner išvyko į Jungtines Valstijas dirbti kartu su Johnu McCarthy AI laboratorijoje Stanfordo universitete. Milneris grįžo į Didžiąją Britaniją 1973 m., Kad priimtų pareigas Edinburgo universitete, kur padėjo sukurti ML („metalanguage“) - kompiuterio programavimo kalbą, sukurtą įdiegti automatinį teoremų sprendėją. 1995 m. Milneris grįžo į Kembridžą kaip mokyklos kompiuterinės laboratorijos vadovas. Jis pasitraukė 2001 m.

Be kitų darbų, Milneris buvo „Kalkulus komunikacijos sistemoms“ (1980 m.), „Ryšys ir suderinamumas“ (1989 m.), Komunikacijos ir mobiliosios sistemos: „Pi kalkulis“ (1999 m.) Ir „Komunikuojančių agentų erdvė ir judesys“ (2009 m.) Autoriai. Jis dirbo Teorinės kompiuterijos mokslo, Teorinės kompiuterijos mokslo užrašų, oficialiųjų skaičiavimo aspektų ir kompiuterinių mokslų matematinių struktūrų tyrimų redaktoriumi, buvo Edinburgo karališkosios draugijos leidinio „A skyrius“, „Matematika“, redakcijoje.

Milner buvo išrinktas į Karališkąją draugiją (1988 m.), Britų kompiuterių draugiją (1988 m.), Karališkąją Edinburgo draugiją (1993 m.), Kompiuterių mašinų asociaciją (1994 m.), Prancūzijos mokslų akademiją (2005 m.) Ir JAV nacionalinę Inžinerijos akademija (2008). Be Turingo apdovanojimo, Milneris gavo Britų kompiuterinės visuomenės technikos apdovanojimą (1987 m.), Edinburgo karališkosios draugijos Karališkąjį aukso medalį (2004 m.) Ir Europos teorinių kompiuterių mokslo asociacijos apdovanojimų apdovanojimą (2005 m.).