Робин Милнер

Робин Милнер
Родился	Артур Джон Робин Горелл Милнер. ( 1934-01-13) 13 января 1934. Йилмптон, Плимут, Англия
Умер	20 марта 2010 (2010-03-20) ( в возрасте 76 лет). Кембридж, Англия
Известен как	Теория информатики LCF ML Исчисление коммуникационных систем π-исчисление Хиндли – Милнер вывод типа
Награды	Премия Тьюринга (1991) FRS DFBCS FRSE Иностранный сотрудник, NAE
Научная карьера
Области	Информатика
Учреждения	Ферранти Городской университет, Лондон Университет Суонси Стэнфордский университет Эдинбургский университет Кембриджский университет Орхусский университет
Докторант	Нет, поскольку Милнер никогда не учился в докторантуре
Докторанты	Мэдс Тофте (1988). Фарон Моллер. Крис Тофтс. Давид Санджорджи (1993)

Артур Джон Робин Горелл M Илнер (13 января 1934 - 20 марта 2010), известный как Робин Милнер или А. Дж. Р. Г. Милнер, был британским ученым-компьютерщиком и обладателем премии Тьюринга.

• 1 Жизнь, образование и карьера
• 2 Вклад
• 3 Почести и награды
• 4 Избранные публикации
• 5 Ссылки
• 6 Дополнительная литература
• 7 Внешние ссылки

Милнер был родился в Йилмптоне, недалеко от Плимута, Англия в семье военного. В 1947 году ему была присуждена стипендия Итонского колледжа, после чего он служил в Королевском инженерном корпусе, получив звание второго лейтенанта. Затем он поступил в Королевский колледж в Кембридже, который окончил в 1957 году. Милнер сначала работал школьным учителем, затем программистом в Ферранти, а затем поступил в академию в Городской университет, Лондон, затем Университет Суонси, Стэнфордский университет, а с 1973 года в Эдинбургском университете, где он был соучредителем лаборатории основ информатики (LFCS). Он вернулся в Кембридж в качестве главы компьютерной лаборатории в 1995 году, из которой он в конце концов ушел, хотя он все еще оставался в лаборатории. С 2009 года Милнер был научным сотрудником Шотландского альянса по информатике и компьютерным наукам и занимал (по совместительству) кафедру компьютерных наук в Эдинбургском университете.

Милнер умер от сердечного приступа 20 марта 2010 г. в Кембридже. Его жена Люси умерла незадолго до него.

Обычно считается, что Милнер внес три основных вклада в информатику. Он разработал Logic for Computable Functions (LCF), один из первых инструментов для автоматического доказательства теорем. Язык, который он разработал для LCF, ML, был первым языком с полиморфным выводом типа и безопасным для типов обработкой исключений. В совершенно другой области Милнер также разработал теоретическую основу для анализа параллельных систем, исчисления коммуникационных систем (CCS) и его преемника, π-исчисления. На момент своей смерти он работал над биграфами, формализмом для повсеместных вычислений, включающих CCS и π-исчисление. Ему также приписывают новое открытие системы шрифтов Хиндли-Милнера.

Он стал членом Королевского общества и заслуженным членом Британское компьютерное общество в 1988 году. Милнер получил ACM премию Тьюринга в 1991 году. В 1994 году он был введен в должность научным сотрудником из ACM. В 2004 году Королевское общество Эдинбурга наградило Милнера Королевской медалью за его «создание общественных благ в глобальном масштабе». В 2008 году он был избран иностранным сотрудником Национальной инженерной академии за «фундаментальный вклад в информатику, включая разработку LCF, ML, CCS и π-исчисления». [ 1]

• Расчет коммуникационных систем, Робин Милнер. Springer-Verlag (LNCS 92), 1980. ISBN 3-540-10235-3
• Коммуникация и параллелизм, Робин Милнер. Prentice Hall International Series in Computer Science, 1989. ISBN 0-13-115007-3
• The Definition of Standard ML, Robin Milner, Мэдс Тофте, Роберт Харпер, MIT Press 1990
• Комментарий по стандартному ML, Робин Милнер, Мэдс Тофте, MIT Press 1991. ISBN 0-262-63137-7
• The Definition of Standard ML (Revised), Робин Милнер, Мэдс Тофте, Роберт Харпер, Дэвид Маккуин, MIT Press 1997. ISBN 0-262-63181-4
• Коммуникационные и мобильные системы: π-исчисление, Робин Милнер. Cambridge University Press, 1999. ISBN 0-521-65869-1
• Пространство и движение взаимодействующих агентов, Робин Милнер, Кембридж University Press, 2009. ISBN 978-0-521-73833-0

См. Также: Публикации Робина Милнера в DBLP

• Интервью с Робином Милнером, январь 2010 г..
• Доказательство, язык и взаимодействие: Очерки в честь Робина Милнера, под редакцией Гордон Плоткин, Колин Стирлинг и Мэдс Тофте. The MIT Press, 2000. ISBN 0-262-16188-5.
• Королевское общество Эдинбурга: Королевские золотые медали за выдающиеся достижения (пресса 2004 г. выпуск). http://www.royalsoced.org.uk/rse_press/2004/medals.htm
• Краткая биография и речь Робина Милнера
• Краткая научная биография Робина Милнера (из Proof, Язык и взаимодействие: очерки в честь Робина Милнера)

• Адрес в Болонье, краткое обращение Милнера после получения Laurea Honoris Causa в области компьютерных наук от Университета Болоньи, обобщая некоторые из его основных работ, 9 июля 1997 г.
• Является ли информатика наукой?, конференция на ENS, 10 декабря 2007 г.