Робин Милнер

Робин Милнер
Arthur John Robin Gorell Milner
Дата рождения:	13 января 1934(19340113)
Место рождения:	Плимут (Англия)
Гражданство:	Великобритания
Научная сфера:	Информатика
Место работы:	Кембриджский университет
Альма-матер:	King's College, Cambridge
Известен как:	LCF,
Награды и премии	Премия Тьюринга

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

Биография

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

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

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

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

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

• 1988 — почётное членство в Лондонском королевском обществе
• 1991 — премия Тьюринга за LCF, ML и CCS
• 1994 — членство в Ассоциации вычислительной техники
• 2004 — королевская медаль от Эдинбургского королевского общества

Примечания

1. ↑ http://www.cl.cam.ac.uk/~rm135/cv.pdf
2. ↑ http://citeseerx.ist.psu.edu/stats/authors?all=true

Ссылки

• Страница Робина Милнера при Кембриджском университете (англ.)

Лауреаты премии Тьюринга

Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл / Саймон (1975) • Рабин / Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон / Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт / Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис / Стернс (1993) • Фейгенбаум / Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль / Нигаард (2001) • Ривест / Шамир / Адлеман (2002) • Кэй (2003) • Серф / Кан (2004) • Наур (2005) • Аллен (2006) • Кларк / Эмерсон / Сифакис (2007) • Лисков (2008)