Робин Милнер

Британский учёный-компьютерщик (1934–2010)

Артур Джон Робин Горелл Милнер, FRS (13 января 1934 – 20 марта 2010) был британским ученым-компьютерщиком и лауреатом премии Тьюринга . ^{[5] [6] [7] [8] [9] [10]}

Жизнь, образование и карьера

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

Милнер умер от сердечного приступа 20 марта 2010 года в Кембридже. ^{[5] [11]} Его жена Люси умерла незадолго до него. ^[12]

Вклады

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

На момент своей смерти он работал над биграфами , формализмом для повсеместного вычисления, включающим CCS и π -исчисление. ^[13] Ему также приписывают повторное открытие системы типов Хиндли–Милнера .

Почести и награды

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

В его честь названы Премия Милнера Королевского общества ^[14] и Премия Робина Милнера для молодых исследователей ACM SIGPLAN ^{[15] .}

Избранные публикации

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

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

Ссылки

1. Милнер, Р. (1993). «Элементы взаимодействия: лекция о премии Тьюринга». Сообщения ACM . 36 : 78–89. doi : 10.1145/151233.151240 .
2. Интервью с Робином Милнером, взятое Мартином Бергером.
3. Санджорджи, Давиде (1993). Выражение мобильности в алгебрах процессов: парадигмы первого и высшего порядка (диссертация). Эдинбургский университет . hdl :1842/6569. OCLC  29948444. EThOS  uk.bl.ethos.566460.
4. Робин Милнер в проекте «Генеалогия математики»
5. Некролог – Профессор Робин Милнер: ученый-компьютерщик ^{[ нерабочая ссылка ]} , The Times , 31 марта 2010 г.
6. Хоффманн, Л. (2010). «Робин Милнер: элегантный прагматик». Сообщения ACM . 53 (6): 20. doi : 10.1145/1743546.1743556 .
7. Милнер, Р. (1987). «Являются ли вычисления экспериментальной наукой?». Журнал информационных технологий . 2 (2): 58–66. doi :10.1057/jit.1987.12. S2CID  10413382.
8. http://www.cl.cam.ac.uk/misc/obituaries/milner Кембриджский университет – Некролог
9. http://www.cl.cam.ac.uk/users/rm135/ Домашняя страница Мильнера в Кембридже
10. Страница профиля автора Робина Милнера в ACM Digital Library
11. Сообщение в новостной группе о смерти Мильнера.
12. "Робин Милнер: пионер в области компьютерных наук". The Independent . 14 апреля 2010 г.
13. Милнер, Робин. «Биграфическая модель». Кембриджский университет . Получено 7 ноября 2009 г. Биграфы [...] предлагаются как универсальная абстрактная машина , играющая основополагающую роль для универсальных вычислений, которую машина фон Неймана сыграла для последовательных вычислений.
14. "Премия и лекция Королевского общества Милнера | Королевское общество". Королевское общество . Получено 12 мая 2021 г. .
15. "Премия SIGPLAN Робина Милнера для молодых исследователей". SIGPLAN . 2012.

Дальнейшее чтение

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

Внешние ссылки

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