Милнер, Робин
Робин Милнер | |
---|---|
англ. Arthur John Robin Gorell Milner | |
Дата рождения | 13 января 1934 |
Место рождения | Плимут, Великобритания |
Дата смерти | 20 марта 2010 (76 лет) |
Место смерти | Кембридж, Великобритания |
Страна | Великобритания |
Род деятельности | специалист в области информатики, инженер, преподаватель университета |
Научная сфера | информатика |
Место работы | Кембриджский университет |
Альма-матер | Королевский колледж (Кембридж) |
Известен как | LCF, ML, CCS, Пи-исчисление |
Награды и премии | премия Тьюринга (1991) премия Фридриха Л. Бауэра (1994) премия Европейской ассоциации теоретической информатики[вд] (2005) Programming Languages Achievement Award[вд] (2001) почётный доктор Эдинбургского университета[вд] почётный доктор Университета Глазго[вд] Фелло ACM (1994) член Эдинбургского королевского общества член Британского компьютерного общества[вд] honorary doctor of the University of Stirling[вд] |
Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010[1], Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.
Член Лондонского королевского общества (1988)[2], иностранный член Французской академии наук (2005)[3], Национальной инженерной академии США (2008)[4].
Биография
Робин Милнер родился в Плимуте в семье военного. С 1947 года учился в колледже Итон, затем (с 1952) служил два года в армии (в Royal Engineers) до звания второго лейтенанта. Затем Милнер поступил в Королевский колледж Кембриджа, который окончил в 1957 году. После окончания колледжа он год работал школьным учителем математики, затем три года программистом в компании Ferranti[5].
Милнер наконец попал в институт, работая сначала в Лондонском городском университете, затем в университете Суонси и Стэнфордском университете, а с 1973 года в Эдинбургском университете. Там он стал одним из основателей лаборатории Laboratory for Foundations of Computer Science (LFCS). В 1995 году Милнер вернулся в Кэмбридж, где и возглавил факультет информатики. В 1999 году он ушёл на пенсию. Женат, имеет двух детей.
Милнер разработал систему ведения автоматических доказательств теорем LCF (Logic for Computable Functions). Для этой системы был создан функциональный язык программирования ML. Позже, Робин Милнер разработал исчисление взаимодействующих систем (CCS), теоретическую основу для анализа взаимодействующих систем, а также его расширение — пи-исчисление. Милнер является обладателем девяти почётных докторских титулов от разных университетов.
В сентябре 2010 года Милнер занимал 25 место в списке самых цитируемых авторов в проекте CiteSeer[6].
Cкончался от сердечного приступа вскоре после смерти своей жены[7].
Награды (выдержка)
- 1991 — премия Тьюринга за LCF, ML и CCS
- 1994 — членство в Ассоциации вычислительной техники
- 2004 — королевская медаль от Эдинбургского королевского общества
Примечания
- ↑ Martin Campbell-Kelly. Robin Milner obituary (англ.) // The Guardian. — 1 апреля 2010. Архивировано 16 февраля 2011 года.
- ↑ Milner; Arthur John Robin Gorell (1934 - 2010) // Сайт Лондонского королевского общества (англ.)
- ↑ Les membres du passé dont le nom commence par M Архивная копия от 26 октября 2020 на Wayback Machine (фр.)
- ↑ Professor Robin Milner Архивная копия от 16 января 2021 на Wayback Machine (англ.)
- ↑ CURRICULUM VITAE (revised in January 2008) . Дата обращения: 10 января 2009. Архивировано 10 апреля 2009 года.
- ↑ Statistics — Most Cited Authors in Computer Science Архивная копия от 1 мая 2012 на Wayback Machine (Дата обращения: 1 января 2011)
- ↑ [https://web.archive.org/web/20240427170221/https://lists.seas.upenn.edu/pipermail/types-list/2010/001478.html Архивная копия от 27 апреля 2024 на Wayback Machine [TYPES] Very sad news]