Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка 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 году. Милнер начал свою карьеру школьным учителем, затем работал программистом в компании Ferranti, после чего перешел в научную сферу в Сити-университете Лондона, Суонсийском университете, Стэнфордском университете, а с 1973 года – в Эдинбургском университете, где он был одним из основателей Лаборатории основ информатики (LFCS). В 1995 году он вернулся в Кембридж в качестве руководителя Компьютерной лаборатории, которую впоследствии покинул, хотя продолжал там работать. С 2009 года Милнер был старшим научным сотрудником Scottish Informatics & Computer Science Alliance и занимал (неполный рабочий день) должность профессора компьютерных наук в Эдинбургском университете. Милнер скончался от сердечного приступа 20 марта 2010 года в Кембридже. Его жена, Люси, умерла незадолго до него.
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.