Людибиографии, истории, факты, фотографии

Робин Милнер

   /   

Robin Milner

   /
             
Фотография Робин Милнер (photo Robin Milner)
   

День рождения: 13.01.1934 года
Место рождения: Плимут, Великобритания
Дата смерти: 20.03.2010 года
Место смерти: Кембридж, США
Возраст: 76 лет

Гражданство: Великобритания

Биография

Английский учёный в области теории вычислительных систем.

После окончания колледжа он год работал школьным учителем математики, затем три года программистом в компании Ferranti.

VK Facebook Mailru Odnoklassniki Twitter Twitter Print

17.03.2012

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

Робин Милнер фотография
Робин Милнер фотография

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

Реклама:

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

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

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

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

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

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

Лучшие дня

Кевин Сорбо: Геракл нашей юности
Посетило:10345
Кевин Сорбо
Марафон с автомобилем за спиной
Посетило:6663
Росс Эджли
Марсель Журне. Биография
Посетило:5025
Марсель Журне

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




Ваш комментарий (*):
Я не робот...

Лучшие недели

Андреа Бочелли: Видеть внутренним взором
Посетило:21093
Андреа Бочелли
Как поднять автомобиль головой
Посетило:10886
Джон Эванс
Кабан-монстр, или минута славы 11-летнего Джемисона
Посетило:12240
Джемисон Стоун

Добавьте свою информацию

Здесь
Администрация проекта admin @ peoples.ru
history