WikiSort.ru - Программирование

ПОИСК ПО САЙТУ | о проекте
Робин Милнер
Arthur John Robin Gorell Milner
Дата рождения 13 января 1934(1934-01-13)
Место рождения Плимут, Великобритания
Дата смерти 20 марта 2010(2010-03-20) (76 лет)
Место смерти Кембридж, Великобритания
Страна  Великобритания
Научная сфера Информатика
Место работы Кембриджский университет
Альма-матер Королевский колледж (Кембридж)
Известен как LCF[en], ML, CCS, Пи-исчисление
Награды и премии Премия Тьюринга

Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010[1], Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.

Биография

Робин Милнер родился в Плимуте в семье военного. С 1947 года учился в колледже Итон, затем (с 1952) служил два года в армии (в Royal Engineers) до звания второго лейтенанта. Затем Милнер поступил в Королевский Колледж Кэмбриджа, который окончил в 1957 году. После окончания колледжа он год работал школьным учителем математики, затем три года программистом в компании Ferranti[2].

Милнер наконец попал в институт, работая сначала в Лондонском городском университете, затем в университете Суонси и Стэнфордском университете, а с 1973 года в Эдинбургском университете. Там он стал одним из основателей лаборатории Laboratory for Foundations of Computer Science (LFCS). В 1995 году Милнер вернулся в Кэмбридж, где и возглавил факультет информатики. В 1999 году он ушёл на пенсию. Женат, имеет двух детей.

Милнер разработал систему ведения автоматических доказательств теорем LCF (Logic for Computable Functions). Для этой системы был создан функциональный язык программирования ML. Позже, Робин Милнер разработал исчисление взаимодействующих систем (CCS), теоретическую основу для анализа взаимодействующих систем, а также его расширение — пи-исчисление. Милнер является обладателем девяти почётных докторских титулов от разных университетов.

В сентябре 2010 года Милнер занимал 25 место в списке самых цитируемых авторов в проекте CiteSeer[3].

Награды (выдержка)

Примечания

  1. Martin Campbell-Kelly. Robin Milner obituary (англ.) // The Guardian. — 1 апреля 2010.
  2. CURRICULUM VITAE (revised in January 2008)
  3. Statistics — Most Cited Authors in Computer Science (Проверено 1 января 2011)

Ссылки

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .




Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2020
WikiSort.ru - проект по пересортировке и дополнению контента Википедии