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

[неперевірена версія][перевірена версія]
м (Додав категорію: Категорія:Випускники Королівського коледжу (Кембридж))
 
(Не показані 25 проміжних версій 7 користувачів)
Рядок 6: Рядок 6:
 
| зображення_підпис =
 
| зображення_підпис =
 
| дата народження = 13.1.1934
 
| дата народження = 13.1.1934
| місце народження = {{нп|Ялмптон|Ялмптон||Yeampton}}, [[Плімут_(Англія)|Плімут, Англія]]
+
| місце народження = {{нп|Ялмптон|Ялмптон||Yealmpton}}, [[Плімут_(Англія)|Плімут, Англія]]
 
| дата смерті = 20.3.2010
 
| дата смерті = 20.3.2010
 
| місце смерті = [[Кембридж]], [[Англія]]
 
| місце смерті = [[Кембридж]], [[Англія]]
| резиденція =
+
| резиденція =
 
| громадянство = {{UK}}
 
| громадянство = {{UK}}
 
| національність =
 
| національність =
 
| галузь =
 
| галузь =
  +
| заклад = [[Стенфордський університет]], <br/> [[Единбурзький університет]], <br/>[[Лабораторія основ інформатики LFCS]],<br/>[[Кембриджський університет]]
| заклад =
 
 
| Alma Mater = [[Кембриджський університет]]
 
| Alma Mater = [[Кембриджський університет]]
 
| Посада = <!-- {{ інша суспільно значуща посада}} -->
 
| Посада = <!-- {{ інша суспільно значуща посада}} -->
Рядок 22: Рядок 22:
 
| учні =
 
| учні =
 
| Батько =
 
| Батько =
| Мати =
+
| Мати =
 
| Дружина = Люсі Мор (Lucy Moor)
 
| Дружина = Люсі Мор (Lucy Moor)
 
| Чоловік =
 
| Чоловік =
Рядок 28: Рядок 28:
 
| нагороди = [[Премія Тюрінга]] (1991)<ref>{{Cite journal | last1 = Milner | first1 = R. | doi = 10.1145/151233.151240 | title = Elements of interaction: Turing award lecture | journal = Communications of the ACM | volume = 36 | pages = 78–89 | year = 1993 | pmid = | pmc = }}</ref>
 
| нагороди = [[Премія Тюрінга]] (1991)<ref>{{Cite journal | last1 = Milner | first1 = R. | doi = 10.1145/151233.151240 | title = Elements of interaction: Turing award lecture | journal = Communications of the ACM | volume = 36 | pages = 78–89 | year = 1993 | pmid = | pmc = }}</ref>
 
| примітки =
 
| примітки =
| особиста_сторінка = {{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/ cl.cam.ac.uk]}}
+
| особиста_сторінка = [http://www.cl.cam.ac.uk/archive/rm135/ cl.cam.ac.uk]
 
}}
 
}}
'''Артур Джон Робін Ґорел Мілнер''' ({{lang-en|Arthur John Robin Gorell Milner}}; {{н}}[[13 січня]] 1934&nbsp;р. у {{нп|Ялмптон|Ялмптоні||Yeampton}} ([[Плімут_(Англія)|Плімут, Англія]])&nbsp;— {{†}}[[20 березня]] 2010&nbsp;р. у [[Кембридж]]і, [[Англія]])&nbsp;— видатний англійський [[математика|математик]] та науковець в галузі [[Інформатика|інформатики]].
+
'''Артур Джон Робін Ґорел Мілнер''' ({{lang-en|Arthur John Robin Gorell Milner}}; {{н}}[[13 січня]] 1934&nbsp;р. у {{нп|Ялмптон|Ялмптоні||Yealmpton}} ([[Плімут_(Англія)|Плімут, Англія]])&nbsp;— {{†}}[[20 березня]] 2010&nbsp;р. у [[Кембридж]]і, [[Англія]])&nbsp;— видатний англійський [[математика|математик]] та науковець в галузі [[Інформатика|інформатики]].
   
 
== Біографія ==
 
== Біографія ==
Робін Мілнер народився у Ялмптоні, що біля [[Плімут_(Англія)|Плімуту (Англія)]], у родині військових. З 1947 року навчався в [[Ітонський коледж|ітонському коледжі]], після чого у 1952-1954 рр. проходив військову службу в інженерних військах [[Британська армія|британської армії]] ({{lang-en|Royal Engineers}}).
+
Робін Мілнер народився у Ялмптоні, що біля [[Плімут_(Англія)|Плімуту (Англія)]], у родині військових. З 1947 року навчався в [[Ітонський коледж|ітонському коледжі]], після чого у 1952—1954&nbsp;рр. проходив військову службу в інженерних військах [[Британська армія|британської армії]] ({{lang-en|Royal Engineers}}).
У 1959 році працював шкільним вчителем в [[Лондон|Лондоні]], після чого три роки був програмістом в компанії [[Ferranti]] (з 1960 року). В 1963 році одружився та перейшов до {{нп|міський університет Лондона|міського університету Лондона||City University London}} ({{lang-en|City University London}}) де викладав математику та зацікавився проблемою [[штучний інтелект|штучного інтелекту]]. З початку 1971 року Мілнер працював з [[Джон Маккарті|Джоном Маккарті]] у [[Стенфорд|Стенфорді]]. В 1973 році залишив сполучені штати та перейшов до [[Единбурзький університет|едінбурзького університету]] де працював до 1994 року та був одним із засновників ''лабораторії основ інформатики'' LFCS ({{lang-en|Laboratory for Foundations of Computer Science}}).<ref name=lfcs>[http://wcms.inf.ed.ac.uk/lfcs/events/milner-lectures Milner Lectures at the LFCS].</ref> У 1991 Мілнер отримав [[Премія Тюрінга|премію Тюрінга]] за свої наукові досягнення та в 1995 році перейшов до [[Кембриджський університет|кембріджського університету]], де займав посаду голови ''комп'ютерної лабораторії'' ({{lang-en|Computer Laboratory}}) у 1996-1999 рр.
+
У 1959 році працював шкільним вчителем в [[Лондон]]і, після чого три роки був програмістом в компанії [[Ferranti]] (з 1960 року). В 1963 році одружився та перейшов до {{нп|міський університет Лондона|міського університету Лондона||City University London}} ({{lang-en|City University London}}) де викладав математику та зацікавився проблемою [[штучний інтелект|штучного інтелекту]]. З початку 1971 року Мілнер працював з [[Джон Маккарті|Джоном Маккарті]] у [[Стенфордський університет|Стенфорді]]. В 1973 році залишив сполучені штати та перейшов до [[Единбурзький університет|единбурзького університету]] де працював до 1994 року та був одним із засновників [[Лабораторія основ інформатики LFCS|лабораторії основ інформатики LFCS]] ({{lang-en|Laboratory for Foundations of Computer Science}}).<ref name=lfcs>[http://wcms.inf.ed.ac.uk/lfcs/events/milner-lectures Milner Lectures at the LFCS].</ref> 1991 року Мілнер отримав [[Премія Тюрінга|премію Тюрінга]] за свої наукові досягнення та в 1995 році перейшов до [[Кембриджський університет|кембріджського університету]], де займав посаду голови ''комп'ютерної лабораторії'' ({{lang-en|Computer Laboratory}}) у 1996—1999&nbsp;рр.
   
 
== Наукові досягнення ==
 
== Наукові досягнення ==
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}) з механізмом [[Вивід типів|виводу типів]] виразів, т. зв. {{нп|алгоритм Хіндлі–Мілнера|алгоритм Хіндлі–Мілнера||Hindley–Milner type inference algorithm}}.
+
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}) з механізмом [[Вивід типів|виводу типів]] виразів, т.&nbsp;зв. {{нп|алгоритм Хіндлі–Мілнера|алгоритм Хіндлі–Мілнера||Hindley–Milner type inference algorithm}}.
   
 
== Посилання ==
 
== Посилання ==
Рядок 43: Рядок 43:
   
 
== Література ==
 
== Література ==
* Виступ Робіна Мілнера з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] ({{lang-en|[http://www.cs.unibo.it/icalp/Lauree_milner.html]}}).
+
* [http://www.cs.unibo.it/icalp/Lauree_milner.html Виступ Робіна Мілнера] з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] {{ref-en}}
* Резюме Робіна Мілнера (University of Cambridge {{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/cv.pdf PDF]}}).
+
* [http://www.cl.cam.ac.uk/archive/rm135/cv.pdf Резюме Робіна Мілнера] (University of Cambridge) {{ref-en}}
* Некролог Робіна Мілнера (University of Cambridge {{lang-en|[http://www.cl.cam.ac.uk/misc/obituaries/milner/]}}).
+
* [http://www.cl.cam.ac.uk/misc/obituaries/milner/ Некролог Робіна Мілнера] (University of Cambridge) {{ref-en}}
* Некролог Робіна Мілнера (Guardian {{lang-en|[http://www.theguardian.com/technology/2010/apr/01/robin-milner-obituary]}}).
+
* [http://www.theguardian.com/technology/2010/apr/01/robin-milner-obituary Некролог Робіна Мілнера] (Guardian) {{ref-en}}
  +
* [http://www.cl.cam.ac.uk/archive/rm135/ Персональна сторінка Робіна Мілнера] (University of Cambridge) {{ref-en}}
* Персональна сторінка Робіна Мілнера (University of Cambridge {{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/]}}).
 
 
   
 
{{математик-доробити}}
 
{{UK-scientist-stub}}
 
{{Лауреати премії Тюрінга}}
 
{{Лауреати премії Тюрінга}}
 
{{ВП-портали|Біографії|Англія|Математика}}
   
{{ВП-портали|Біографії|Англія|Математика}}
 
{{UK-bio-stub}}
 
{{науковець-доробити}}
 
 
{{DEFAULTSORT:Мілнер Робін}}
 
{{DEFAULTSORT:Мілнер Робін}}
 
[[Категорія:Британські математики]]
 
[[Категорія:Британські математики]]
 
[[Категорія:Математики XX століття]]
 
[[Категорія:Математики XX століття]]
  +
[[Категорія:Уродженці Плімута (Англія)]]
  +
[[Категорія:Померли в Кембриджі]]
  +
[[Категорія:Випускники Кембриджського університету]]
  +
[[Категорія:Науковці Стенфордського університету]]
  +
[[Категорія:Науковці Единбурзького університету]]
  +
[[Категорія:Науковці Кембриджського університету]]
  +
[[Категорія:Математики за алфавітом]]
  +
[[Категорія:Члени Британського комп'ютерного товариства]]
  +
[[Категорія:Розробники мов програмування]]
  +
[[Категорія:Лауреати премії Тюрінга]]
  +
[[Категорія:Випускники Королівського коледжу (Кембридж)]]

Поточна версія на 13:37, 27 липня 2021

Робін Мілнер
Robin Milner
Народився 13 січня 1934(1934-01-13)
Ялмптон[en], Плімут, Англія
Помер 20 березня 2010(2010-03-20) (76 років)
Кембридж, Англія
·гострий інфаркт міокарда
Країна Велика Британія Велика Британія
Діяльність інформатик, інженер, викладач університету
Alma mater Кембриджський університет
Галузь інформатика
Заклад Стенфордський університет,
Единбурзький університет,
Лабораторія основ інформатики LFCS,
Кембриджський університет
Аспіранти, докторанти Alan Mycroftd, Davide Sangiorgid, Luís Damasd[2] і Faron George Mollerd[2]
Членство Лондонське королівське товариство, Європейська академія[3], Французька академія наук, Королівське товариство Единбурга і Association for Computing Machinery
Відомий завдяки: 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).[4] 1991 року Мілнер отримав премію Тюрінга за свої наукові досягнення та в 1995 році перейшов до кембріджського університету, де займав посаду голови комп'ютерної лабораторії (англ. Computer Laboratory) у 1996—1999 рр.

Наукові досягненняРедагувати

Мілнер розробив одну з найперших програм для автоматичного доведення під назвою LCF (англ. Logic for Computable Functions), для чого він також створив мову програмування ML (англ. Meta-Language) з механізмом виводу типів виразів, т. зв. алгоритм Хіндлі–Мілнера[en].

ПосиланняРедагувати

  1. Milner, R. (1993). Elements of interaction: Turing award lecture. Communications of the ACM 36: 78–89. doi:10.1145/151233.151240. 
  2. а б Математична генеалогія — 1997.
  3. https://www.ae-info.org/ae/User/Milner_Robin
  4. Milner Lectures at the LFCS.

ЛітератураРедагувати