Робін Мілнер
| Робін Мілнер | |
|---|---|
| Robin Milner | |
| Народився | 13 січня 1934 Ялмптон[en], Плімут, Англія |
| Помер | 20 березня 2010 (76 років) Кембридж, Англія ·інфаркт міокарда |
| Країна | .svg){kind=small} Велика Британія |
| Діяльність | інформатик, інженер, викладач університету |
| Alma mater | Кембриджський університет |
| Галузь | інформатика |
| Заклад | Стенфордський університет, Единбурзький університет, Лабораторія основ інформатики LFCS, Кембриджський університет |
| Аспіранти, докторанти | Alan Mycroftd Davide Sangiorgid Luís Damasd[2] Faron George Mollerd[2] |
| Членство | Лондонське королівське товариство Європейська академія[3] Французька академія наук Королівське товариство Единбурга Association for Computing Machinery[4] |
| Відомий завдяки: | ML, LCF[en], Вивід типів, Пі-числення, CCS[en] |
| У шлюбі з | Люсі Мор (Lucy Moor) |
| Нагороди | Премія Тюрінга (1991)[1] |
| Особ. сторінка | cl.cam.ac.uk |
Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у Ялмптоні[en] (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.
Робін Мілнер народився у Ялмптоні, що біля Плімуту (Англія), у родині військових. З 1947 року навчався в ітонському коледжі, після чого у 1952—1954 рр. проходив військову службу в інженерних військах британської армії (англ. Royal Engineers). У 1959 році працював шкільним вчителем в Лондоні, після чого три роки був програмістом в компанії Ferranti (з 1960 року). В 1963 році одружився та перейшов до міського університету Лондона[en] (англ. City University London) де викладав математику та зацікавився проблемою штучного інтелекту. З початку 1971 року Мілнер працював з Джоном Маккарті у Стенфорді. В 1973 році залишив сполучені штати та перейшов до единбурзького університету де працював до 1994 року та був одним із засновників лабораторії основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science).[5] 1991 року Мілнер отримав премію Тюрінга за свої наукові досягнення та в 1995 році перейшов до кембріджського університету, де займав посаду голови комп'ютерної лабораторії (англ. Computer Laboratory) у 1996—1999 рр.
Мілнер розробив одну з найперших програм для автоматичного доведення під назвою LCF (англ. Logic for Computable Functions), для чого він також створив мову програмування ML (англ. Meta-Language) з механізмом виводу типів виразів, т. зв. алгоритм Гіндлі — Мілнера[en].
- ↑ Milner, R. (1993). Elements of interaction: Turing award lecture. Communications of the ACM. 36: 78—89. doi:10.1145/151233.151240.
- ↑ а б Математичний генеалогічний проєкт — 1997.
- ↑ https://www.ae-info.org/ae/User/Milner_Robin
- ↑ https://awards.acm.org/fellows/award-recipients
- ↑ Milner Lectures at the LFCS.
- Виступ Робіна Мілнера з нагоди отримання почесного диплому від Болонського університету (англ.)
- Резюме Робіна Мілнера (University of Cambridge) (англ.)
- Некролог Робіна Мілнера (University of Cambridge) (англ.)
- Некролог Робіна Мілнера (Guardian) (англ.)
- Персональна сторінка Робіна Мілнера (University of Cambridge) (англ.)
|
Це незавершена стаття про математика. Ви можете допомогти проєкту, виправивши або дописавши її. |
|
Це незавершена стаття про британського науковця чи науковицю. Ви можете допомогти проєкту, виправивши або дописавши її. |
- Народились 13 січня
- Народились 1934
- Померли 20 березня
- Померли 2010
- Члени Лондонського королівського товариства
- Члени Європейської академії
- Члени Французької академії наук
- Члени Королівського товариства Единбурга
- Британські математики
- Математики XX століття
- Уродженці Плімута (Англія)
- Померли в Кембриджі
- Випускники Кембриджського університету
- Науковці Стенфордського університету
- Науковці Единбурзького університету
- Науковці Кембриджського університету
- Члени Британського комп'ютерного товариства
- Розробники мов програмування
- Лауреати премії Тюрінга
- Випускники Королівського коледжу (Кембридж)