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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Stablenode (обговорення | внесок)
Немає опису редагування
Stablenode (обговорення | внесок)
Немає опису редагування
Рядок 38: Рядок 38:


== Література ==
== Література ==
* Виступ Робіна Мілнера з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] ({{lang-en|[http://www.cs.unibo.it/icalp/Lauree_milner.html]}}).


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

Версія за 23:52, 3 жовтня 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, Вивід типів, Пі-числення
Нагороди Премія Тюрінга (1991)[1]

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

Біографія

Посилання

  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

Література