Робин Милнер
Робин Милнер | |
|---|---|
 | |
| Рожденный | Артур Джон Робин Горелл Милнер 13 января 1934 г. |
| Умер | 20 марта 2010 г. (76 лет) |
| Известный |
|
| Награды |
|
| Научная карьера | |
| Поля | Информатика |
| Учреждения | |
| Докторантура | Нет, поскольку Милнер никогда не защитил докторскую диссертацию. [2] |
| Докторанты | Мадс Тофте (1988) Фарон Мёллер Крис Тофтс Давиде Санджорджи (1993) [3] [4] |
Артур Джон Робин Горелл Милнер, FRS (13 января 1934 — 20 марта 2010) — британский ученый-компьютерщик , лауреат премии Тьюринга . [5] [6] [7] [8] [9] [10]
Жизнь, образование и карьера
[ редактировать ]Милнер родился в Йелмптоне , недалеко от Плимута , Англия, в семье военного. Он получил Королевскую стипендию для обучения в Итонском колледже в 1947 году и был награжден премией Томлайна (высшей наградой по математике в Итоне) в 1952 году. Впоследствии он служил в Королевских инженерах , получив звание младшего лейтенанта. Затем он поступил в Королевский колледж в Кембридже , который окончил в 1957 году. Милнер сначала работал школьным учителем, затем программистом в Ферранти , затем поступил в академию в Городской университет в Лондоне , затем в Университет Суонси , Стэнфордский университет , а с 1973 года в Эдинбургский университет. , где он был сооснователем Лаборатории основ компьютерных наук (LFCS). Он вернулся в Кембридж в качестве руководителя компьютерной лаборатории в 1995 году, из которой в конце концов ушел, хотя все еще работал в лаборатории. С 2009 года Милнер был научным сотрудником Шотландского альянса информатики и компьютерных наук и занимал (по совместительству) кафедру компьютерных наук в Эдинбургском университете. .
Милнер умер от сердечного приступа 20 марта 2010 года в Кембридже. [5] [11] Его жена Люси умерла незадолго до него. [12]
Взносы
[ редактировать ]Обычно считается, что Милнер внес три крупных вклада в информатику . Он разработал «Логику вычислимых функций» (LCF), один из первых инструментов для автоматического доказательства теорем . Язык, который он разработал для LCF, ML , был первым языком с полиморфным выводом типов и типобезопасной обработкой исключений . В совершенно другой области Милнер также разработал теоретическую основу для анализа параллельных систем — исчисление взаимодействующих систем (CCS) и его преемника — π -исчисление .
На момент своей смерти он работал над биграфами , формализмом для повсеместных вычислений, включающим CCS и π -исчисление. [13] Ему также приписывают повторное открытие системы типов Хиндли-Милнера .
Почести и награды
[ редактировать ]В 1988 году он стал членом Королевского общества и почетным членом Британского компьютерного общества. 1991 году Милнер получил ACM премию Тьюринга . В 1994 году он был назначен членом ACM В . В 2004 году Королевское общество Эдинбурга наградило Милнера Королевской медалью за «обеспечение общественной пользы в глобальном масштабе». В 2008 году он был избран иностранным членом Национальной инженерной академии за «фундаментальный вклад в информатику, включая развитие LCF, ML, CCS и π -исчисления». [1]
Королевского общества Премия Милнера [14] и ACM SIGPLAN. премия молодого исследователя Робина Милнера [15] оба названы в его честь.
Избранные публикации
[ редактировать ]- Исчисление коммуникационных систем , Робин Милнер. Спрингер-Верлаг ( LNCS 92), 1980. ISBN 3-540-10235-3
- Коммуникация и параллелизм , Робин Милнер. Международная серия Прентис Холл по информатике , 1989. ISBN 0-13-115007-3
- Определение стандартного ОД , Робин Милнер, Мэдс Тофте , Роберт Харпер, MIT Press, 1990 г.
- Комментарий к Standard ML , Робин Милнер, Мэдс Тофте , MIT Press, 1991. ISBN 0-262-63137-7
- Определение стандарта ОД (пересмотренное), Робин Милнер, Мэдс Тофте , Роберт Харпер, Дэвид МакКуин, MIT Press, 1997. ISBN 0-262-63181-4
- Коммуникационные и мобильные системы: π -исчисление , Робин Милнер. Издательство Кембриджского университета , 1999. ISBN 0-521-65869-1
- Пространство и движение общающихся агентов , Робин Милнер, издательство Кембриджского университета , 2009. ISBN 978-0-521-73833-0
См. Также: Публикации Робина Милнера в DBLP.
Ссылки
[ редактировать ]- ^ Милнер, Р. (1993). «Элементы взаимодействия: лекция на премию Тьюринга» . Коммуникации АКМ . 36 : 78–89. дои : 10.1145/151233.151240 .
- ^ Интервью Мартина Бергера с Робином Милнером .
- ^ Санджорджи, Давиде (1993). Выражение мобильности в алгебрах процессов: парадигмы первого и высшего порядка (кандидатская диссертация). Эдинбургский университет . hdl : 1842/6569 . OCLC 29948444 . EThOS uk.bl.ethos.566460 .
- ^ Робин Милнер в проекте математической генеалогии
- ^ Jump up to: а б Некролог — Профессор Робин Милнер: ученый-компьютерщик , The Times , 31 марта 2010 г.
- ^ Хоффманн, Л. (2010). «Робин Милнер: элегантный прагматик» . Коммуникации АКМ . 53 (6): 20. дои : 10.1145/1743546.1743556 .
- ^ Милнер, Р. (1987). «Являются ли вычисления экспериментальной наукой?». Журнал информационных технологий . 2 (2): 58–66. дои : 10.1057/jit.1987.12 . S2CID 10413382 .
- ^ http://www.cl.cam.ac.uk/misc/obituaries/milner Кембриджский университет – некролог
- ^ http://www.cl.cam.ac.uk/users/rm135/ Домашняя страница Милнера в Кембридже.
- ^ Робина Милнера Страница профиля автора ACM. в цифровой библиотеке
- ^ Сообщение группы новостей, информирующее о смерти Милнера.
- ^ «Робин Милнер: новаторский ученый-компьютерщик» . Независимый . 14 апреля 2010 г.
- ^ Милнер, Робин. «Биграфическая модель» . Кембриджский университет . Проверено 7 ноября 2009 г.
Биграфы [...] предлагаются как вездесущая абстрактная машина , играющая основополагающую роль для повсеместных вычислений, которую машина фон Неймана сыграла для последовательных вычислений.
- ^ «Премия Милнера Королевского общества и лекция | Королевское общество» . Королевское общество . Проверено 12 мая 2021 г.
- ^ «Премия молодого исследователя Робина Милнера SIGPLAN» . СИГПЛАН . 2012.
Дальнейшее чтение
[ редактировать ]- Интервью с Робином Милнером, январь 2010 г.
- Доказательство, язык и взаимодействие: Очерки в честь Робина Милнера под редакцией Гордона Плоткина , Колина Стирлинга и Мэдса Тофте . Массачусетский технологический институт Пресс , 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 г.
ML- программирование |
|---|
- 1934 рождения
- 2010 смертей
- Люди из Южного Хэмса (район)
- Люди, получившие образование в Итонском колледже
- Выпускники Королевского колледжа Кембриджа
- Британские ученые-компьютерщики
- Члены Королевского общества
- Лауреаты премии Тьюринга
- Академики Сити, Лондонский университет
- Академики Университета Суонси
- Факультет инженерного факультета Стэнфордского университета
- Академики Эдинбургского университета
- Формальные методы люди
- Сотрудники компьютерной лаборатории Кембриджского университета
- 1994 г. Члены Ассоциации вычислительной техники.
- Разработчики языков программирования
- Исследователи языков программирования
- Члены Королевского общества Эдинбурга
- Члены Британского компьютерного общества
- Офицеры Королевских инженеров
- Члены Французской академии наук
- Писатели по информатике
- Иностранные сотрудники Национальной инженерной академии