Робін Мілнер: відмінності між версіями
Перейти до навігації
Перейти до пошуку
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
| Рядок 34: | Рядок 34: | ||
== Біографія == |
== Біографія == |
||
Робін Мілнер народився у Ялмптоні, що біля [[Плімут_(Англія)|Плімуту (Англія)]], у родині військових. З 1947 року навчався в [[Ітонський коледж|ітонському коледжі]], після чого проходив військову службу в інженерних військах [[Британська армія|британської армії]] ({{lang-en|Royal Engineers}}). |
Робін Мілнер народився у Ялмптоні, що біля [[Плімут_(Англія)|Плімуту (Англія)]], у родині військових. З 1947 року навчався в [[Ітонський коледж|ітонському коледжі]], після чого проходив військову службу в інженерних військах [[Британська армія|британської армії]] ({{lang-en|Royal Engineers}}). |
||
У 1991 Мілнер отримав [[Премія Тюрінга|премію Тюрінга]] за свої наукові досягнення. |
|||
== Наукові досягнення == |
== Наукові досягнення == |
||
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування ML ({{lang-en|Meta-Language}}). |
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}). |
||
== Посилання == |
== Посилання == |
||
| Рядок 43: | Рядок 47: | ||
== Література == |
== Література == |
||
* Виступ Робіна Мілнера з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] ({{lang-en|[http://www.cs.unibo.it/icalp/Lauree_milner.html]}}). |
* Виступ Робіна Мілнера з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] ({{lang-en|[http://www.cs.unibo.it/icalp/Lauree_milner.html]}}). |
||
* Резюме Робіна Мілнера ([http://www.cl.cam.ac.uk/archive/rm135/cv.pdf PDF]). |
* Резюме Робіна Мілнера ({{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/cv.pdf PDF]}}). |
||
{{ВП-портали|Біографії|Англія|Математика}} |
{{ВП-портали|Біографії|Англія|Математика}} |
||
Версія за 00:41, 4 жовтня 2015
| Робін Мілнер | |
|---|---|
| Robin Milner | |
| Народився |
13 січня 1934 Ялмптон, Плімут, Англія |
| Помер |
20 березня 2010 (76 років) Кембридж, Англія ·інфаркт міокарда |
| Країна |
.svg){kind=small} Велика Британія |
| Діяльність | інформатик, інженер, викладач університету |
| 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 р. у Кембриджі, Англія) — видатний англійський математик та науковець у галузі інформатики.
Біографія
Робін Мілнер народився у Ялмптоні, що біля Плімуту (Англія), у родині військових. З 1947 року навчався в ітонському коледжі, після чого проходив військову службу в інженерних військах британської армії (англ. Royal Engineers).
У 1991 Мілнер отримав премію Тюрінга за свої наукові досягнення.
Наукові досягнення
Мілнер розробив одну з найперших програм для автоматичного доведення під назвою LCF (англ. Logic for Computable Functions), для чого він також створив мову програмування ML (англ. Meta-Language).
Посилання
- ↑ 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
Література
- Виступ Робіна Мілнера з нагоди отримання почесного диплому від Болонського університету (англ. [1]).
- Резюме Робіна Мілнера (англ. PDF).
|
|
Це незавершена стаття про особу Великої Британії. Ви можете допомогти проєкту, виправивши або дописавши її. |
|
Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |