Русская Википедия:Милнер, Робин
Шаблон:Однофамильцы Шаблон:Учёный Робин Милнер (Шаблон:Lang-en; 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].
Награды (выдержка)
- 1991 — премия Тьюринга за LCF, ML и CCS
- 1994 — членство в Ассоциации вычислительной техники
- 2004 — королевская медаль от Эдинбургского королевского общества
Примечания
Ссылки
- Страница Робина Милнера при Кембриджском университете Шаблон:Ref-en
- ARTHUR JOHN ROBIN GORELL MILNER Шаблон:Ref-en
Шаблон:Выбор языка Шаблон:- Шаблон:Премия Тьюринга
- Русская Википедия
- Учёные в области информатики Великобритании
- Создатели языков программирования
- Выпускники Кембриджского университета
- Выпускники Королевского колледжа (Кембридж)
- Выпускники Лондонского городского университета
- Преподаватели Лондонского городского университета
- Преподаватели Университета Суонси
- Члены Лондонского королевского общества
- Иностранные члены Французской академии наук
- Иностранные члены Национальной инженерной академии США
- Авторы книг о компьютерах
- Почётные доктора Университета Глазго
- Почётные доктора Эссекского университета
- Почётные доктора Технического университета Чалмерса
- Почётные члены Британского компьютерного общества
- Почётные доктора Эдинбургского университета
- Почётные доктора Лондонского городского университета
- Почётные доктора Стерлингского университета
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии
