Милнер, Робин Робин Милнер



Скачать 13.87 Kb.
Дата17.09.2014
Размер13.87 Kb.
ТипБиография
Милнер , Робин робин милнер.jpg

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

Биография

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

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

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



В конце февраля 2009 года Милнер занимал 11 место в списке самых цитируемых авторов в проекте CiteSeer.

Награды

  • 1988 — почётное членство в Лондонском королевском обществе

  • 1991 — премия Тьюринга за LCF, ML и CCS

  • 1994 — членство в Ассоциации вычислительной техники

  • 2004 — королевская медаль от Эдинбургского королевского общества

Данная статья была опубликована на сайте «ВикипедиЯ: свободная энциклопедия»: http://ru.wikipedia.
org/wiki/%D0%9C%D0%B8%D0%BB%D0%BD%D0%B5%D1%80,_%D0%A0%D0%BE%D0%B1%D0%B8%D0%BD

Похожие:

Милнер, Робин Робин Милнер iconСтруктуры и типы данных языка программирования
Позднее, в конце 1960-х годов, тот же учёный исследовал полиморфные системы типов. Позже, в 1970-х годах, Робин Милнер предложил...
Милнер, Робин Робин Милнер iconАлиса и Алисия
Средних веков школьники будут изучать в средние века. Ты хочешь узнать о Робин Гуде — пожалуйста, отправляйся в Шервудский лес и...
Милнер, Робин Робин Милнер iconИндекс Робин Гуда
Оценить уровень социального расслоения и неравномерности распределения доходов в России
Милнер, Робин Робин Милнер iconСлавный паааааарень Робин Гууууууд Летом текущего года в кинотеатрах страны демонстрировался американский фильм

Милнер, Робин Робин Милнер iconСтрелы робин гуда
События происходят в Англии XII века. Король Ричард возвращается домой из крестового похода и застаёт страну, разграбленную прихвостнями...
Милнер, Робин Робин Милнер iconРобин Кук Мутант
Но эти способности он направил на создание подпольной лаборатории генной инженерии, где стал проводить опасные эксперименты и попутно...
Милнер, Робин Робин Милнер iconИзвестные личности
Каркачом. Правда, по народной легенде, основателем города был украинский Робин Гуд казак Харько. Находившийся всего в 40 километрах...
Милнер, Робин Робин Милнер iconКрасивая девушка на вид лет двадцати. Безоружная. В легком, подобном тунике, платье
Мужчина – приятного вида человек лет тридцати. Одет à la Робин Гуд. Вооружен соответственно костюму
Милнер, Робин Робин Милнер iconЗаконы победителей», «Прорыв к финансовой свободе»
Робин Шарма «Монах, который продал свой Феррари», «Уроки лидерства от монаха, продавшего свой Феррари»
Милнер, Робин Робин Милнер iconКнига гильдии рыжих. Глава никакая в которую, тем не менее, заложена ценнейшая историческая истина
Из которой Вы узнаете о фееричной и блистательной Рыжей балладе, которую некогда пел на задворках сам Робин Шут
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org