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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[неперевірена версія][неперевірена версія]
(Створена сторінка: {{Науковець | ім'я = Робін Мілнер | ім'я_мовою_оригінала = Robin Milner | портрет = |...)
 
Рядок 39: Рядок 39:
 
== Література ==
 
== Література ==
   
{{ВП-портали|Біографії|США|Математика}}
+
{{ВП-портали|Біографії|Англія|Математика}}
 
{{UK-bio-stub}}
 
{{UK-bio-stub}}
 
{{науковець-доробити}}
 
{{науковець-доробити}}

Версія за 18:25, 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[1] і Faron George Mollerd[1]
Членство Лондонське королівське товариство, Європейська академія[2], Французька академія наук, Королівське товариство Единбурга і Association for Computing Machinery
Відомий завдяки: ML, LCF, Вивід типів
Нагороди Премія Тюрінга (1991)

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

Біографія

Посилання

  1. а б Математична генеалогія — 1997.
  2. https://www.ae-info.org/ae/User/Milner_Robin

Література