Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Британдық компьютерлік ғалым (1934–2010)
British computer scientist (1934–2010)
Артур Джон Робин Горелл Милнер (13 қаңтар 1934 – 20 наурыз 2010) – британдық компьютерлік ғалым, Тьюринг сыйлығының лауреаты.
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.
Өмір, білім және мансап
Милнер Англияның Плимут қаласына жақын Йельмптон қаласында әскери отбасында дүниеге келді. 1947 жылы ол Этон колледжінен Корольдік стипендия алды, ал 1952 жылы Томлайн сыйлығын (Этонның математика бойынша ең жоғары сыйлығы) иеленді. Содан кейін ол Корольдік инженерлер құрамында қызмет етіп, екінші лейтенант шеніне жетті. Одан кейін Кембридждегі Кингс колледжіне оқуға түсіп, 1957 жылы бітірді. Милнер алдымен мектеп мұғалімі болып жұмыс істеді, содан кейін Феррантиде бағдарламашы болды, одан кейін Лондон қалалық университетінде, Суонси университетінде, Стэнфорд университетінде және 1973 жылдан бастап Эдинбург университетінде Компьютер ғылымының негіздері зертханасын (LFCS) құрушылардың бірі болды. 1995 жылы ол Кембриджге Компьютерлік зертхананың директоры ретінде оралды, бірақ ол зертханада болса да, кейіннен қызметтен босады. 2009 жылдан бастап Милнер Шотландияның Информатика және компьютерлік ғылымдар альянсының қадамы алдындағы зерттеушісі болды және Эдинбург университетінің Компьютер ғылымы кафедрасын (жартылай штат бойынша) басқарды. Милнер 2010 жылдың 20 наурызында Кембридж қаласында жүрек талмасынан қайтыс болды. Оның әйелі Люси де одан көп ұзамай дүние салды.
Milner was born in Yealmpton, near Plymouth, England into a military family. He gained a King's Scholarship to Eton College in 1947, and was awarded the Tomline Prize (the highest prize in Mathematics at Eton) in 1952. Subsequently, he served in the Royal Engineers, attaining the rank of Second Lieutenant. He then enrolled at King's College, Cambridge, graduating in 1957. Milner first worked as a schoolteacher then as a programmer at Ferranti, before entering academia at City University, London, then Swansea University, Stanford University, and from 1973 at the University of Edinburgh, where he was a co founder of the Laboratory for Foundations of Computer Science (LFCS). He returned to Cambridge as the head of the Computer Laboratory in 1995 from which he eventually stepped down, although he was still at the laboratory. From 2009, Milner was a Scottish Informatics & Computer Science Alliance Advanced Research Fellow and held (part time) the Chair of Computer Science at the University of Edinburgh. Milner died of a heart attack on 20 March 2010 in Cambridge. His wife, Lucy, died shortly before he did.
Үлестер
Милнер компьютерлік ғылымға үш маңызды үлес қосқан деп жалпыға белгілі. Ол автоматты түрде теореманы дәлелдеудің алғашқы құралдарының бірі – Есептеу функцияларының логикасын (LCF) жасады. LCF үшін ол ML тілін жасады, ол полиморфты типті қорыту және типтік қауіпсізлікпен ерекше жағдайларды өңдеуге арналған алғашқы тіл болды. Милнер басқа да салаларда, бір мезгілде жұмыс істейтін жүйелерді талдау үшін теориялық негіз – Коммуникациялық жүйелердің есебін (CCS) және оның ізілдігін жасады. Өмірінің соңында ол CCS және есептеудің өзге де түрлерін қамтитын, кең таралған есептеулерге арналған формализм – биграфтарды зерттеді. Сонымен қатар, ол Хиндли-Милнер типтік жүйесін қайта ашқанмен де белгілі.
Milner is generally regarded as having made three major contributions to computer science. He developed Logic for Computable Functions (LCF), one of the first tools for automated theorem proving. The language he developed for LCF, ML, was the first language with polymorphic type inference and type safe exception handling. In a very different area, Milner also developed a theoretical framework for analyzing concurrent systems, the calculus of communicating systems (CCS), and its successor, the calculus. At the time of his death, he was working on bigraphs, a formalism for ubiquitous computing subsuming CCS and the calculus. He is also credited for rediscovering the Hindley–Milner type system.