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

Література