Робін Мілнер: відмінності між версіями

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Stablenode (обговорення | внесок)
Немає опису редагування
Stablenode (обговорення | внесок)
Немає опису редагування
Рядок 16: Рядок 16:
| Alma Mater = [[Кембриджський університет]]
| Alma Mater = [[Кембриджський університет]]
| Посада = <!-- {{ інша суспільно значуща посада}} -->
| Посада = <!-- {{ інша суспільно значуща посада}} -->
| відомий через = [[ML]], [[LCF]], [[Вивід типів]], [[Пі-числення]]
| відомий через = [[ML]], [[LCF]], [[Вивід типів]], [[Пі-числення]], [[CCS]]
| звання =
| звання =
| ступінь =
| ступінь =
Рядок 46: Рядок 46:
== Література ==
== Література ==
* Виступ Робіна Мілнера з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] ({{lang-en|[http://www.cs.unibo.it/icalp/Lauree_milner.html]}}).
* Виступ Робіна Мілнера з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] ({{lang-en|[http://www.cs.unibo.it/icalp/Lauree_milner.html]}}).
* Резюме Робіна Мілнера ({{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/cv.pdf PDF]}}).
* Резюме Робіна Мілнера (University of Cambridge {{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/cv.pdf PDF]}}).
* Некролог Робіна Мілнера (University of Cambridge {{lang-en|[http://www.cl.cam.ac.uk/misc/obituaries/milner/]}}).
* Некролог Робіна Мілнера (Guardian {{lang-en|[http://www.theguardian.com/technology/2010/apr/01/robin-milner-obituary]}}).
* Персональна сторінка Робіна Мілнера (University of Cambridge {{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/]}}).


{{ВП-портали|Біографії|Англія|Математика}}
{{ВП-портали|Біографії|Англія|Математика}}

Версія за 11:11, 4 жовтня 2015

Робін Мілнер
Robin Milner
Народився 13 січня 1934(1934-01-13)
Ялмптон, Плімут, Англія
Помер 20 березня 2010(2010-03-20) (76 років)
Кембридж, Англія
·інфаркт міокарда
Країна Велика Британія Велика Британія
Діяльність інформатик, інженер, викладач університету
Alma mater Кембриджський університет
Галузь інформатика
Заклад City, University of Londond
Стенфордський університет
Единбурзький університет
Swansea Universityd
Аспіранти, докторанти Alan Mycroftd
Davide Sangiorgid
Luís Damasd[2]
Faron George Mollerd[2]
Членство Лондонське королівське товариство
Європейська академія[3]
Французька академія наук
Королівське товариство Единбурга
Association for Computing Machinery
Відомий завдяки: ML, LCF, Вивід типів, Пі-числення, CCS
Нагороди Премія Тюрінга (1991)[1]

Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у Ялмптоні (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.

Біографія

Робін Мілнер народився у Ялмптоні, що біля Плімуту (Англія), у родині військових. З 1947 року навчався в ітонському коледжі, після чого у 1952-1954 рр. проходив військову службу в інженерних військах британської армії (англ. Royal Engineers). У 1959 році працював шкільним вчителем в Лондоні, після чого три роки був програмістом в компанії Ferranti (з 1960 року). В 1963 році одружився та перейшов до міського університету Лондона (англ. City University London) де викладав математику та зацікавився проблемою штучного інтелекту. З початку 1971 року Мілнер працював з Джоном Маккарті у Стенфорді. В 1973 році залишив сполучені штати та перейшов до едінбурзького університету де працював до 1994 року та був одним із засновників лабораторії основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science). У 1991 Мілнер отримав премію Тюрінга за свої наукові досягнення та в 1995 році перейшов до кембріджського університету, де займав посаду голови комп'ютерної лабораторії (англ. Computer Laboratory) у 1996-1999 рр.

Наукові досягнення

Мілнер розробив одну з найперших програм для автоматичного доведення під назвою LCF (англ. Logic for Computable Functions), для чого він також створив мову програмування ML (англ. Meta-Language) з механізмом виводу типів виразів, т. зв. алгоритм Хіндлі–Мілнера (англ. Hindley–Milner type inference algorithm).


Посилання

  1. Milner, R. (1993). Elements of interaction: Turing award lecture. Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240. 
  2. а б Математичний генеалогічний проєкт — 1997.
  3. https://www.ae-info.org/ae/User/Milner_Robin

Література