Робін Мілнер

Версія від 18:22, 3 жовтня 2015, створена Stablenode (обговорення | внесок) (Створена сторінка: {{Науковець | ім'я = Робін Мілнер | ім'я_мовою_оригінала = Robin Milner | портрет = |...)
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)

Робін Мілнер
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

Література