Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
| Робін Мілнер | |
|---|---|
| Robin Milner | |
| Народився | 13 січня 1934 [en], Плімут, Англія |
| Помер | 20 березня 2010 (76 років) Кембридж, Англія ·інфаркт міокарда |
| Країна |  Велика Британія |
| Діяльність | інформатик, інженер, викладач університету |
| Alma mater | Кембриджський університет |
| Галузь | інформатика |
| Заклад | Стенфордський університет, Единбурзький університет, Лабораторія основ інформатики LFCS, Кембриджський університет |
| Аспіранти, докторанти | d d d[2] d[2] |
| Членство | Лондонське королівське товариство Європейська академія[3] Французька академія наук Королівське товариство Единбурга Association for Computing Machinery[4] |
| Відомий завдяки: | ML, [en], Вивід типів, Пі-числення, [en] |
| У шлюбі з | Люсі Мор (Lucy Moor) |
| Нагороди | Премія Тюрінга (1991) |
| Особ. сторінка | 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). 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) (англ.)
 | Це незавершена стаття про математика. Ви можете проєкту, виправивши або дописавши її. |
 | Це незавершена стаття про науковця чи науковицю. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
portret Batko Posada Diti Druzhina Cholovik Mati Robin MilnerRobin MilnerNarodivsya13 sichnya 1934 1934 01 13 en Plimut AngliyaPomer20 bereznya 2010 2010 03 20 76 rokiv Kembridzh Angliya infarkt miokardaKrayina Velika BritaniyaDiyalnistinformatik inzhener vikladach universitetuAlma materKembridzhskij universitetGaluzinformatikaZakladStenfordskij universitet Edinburzkij universitet Laboratoriya osnov informatiki LFCS Kembridzhskij universitetAspiranti doktorantid d d 2 d 2 ChlenstvoLondonske korolivske tovaristvo Yevropejska akademiya 3 Francuzka akademiya nauk Korolivske tovaristvo Edinburga Association for Computing Machinery 4 Vidomij zavdyaki ML en Vivid tipiv Pi chislennya en U shlyubi zLyusi Mor Lucy Moor NagorodiPremiya Tyuringa 1991 Osob storinkacl cam ac uk Artur Dzhon Robin Gorel Milner angl Arthur John Robin Gorell Milner nar 13 sichnya 1934 r u en Plimut Angliya pom 20 bereznya 2010 r u Kembridzhi Angliya vidatnij anglijskij matematik ta naukovec v galuzi informatiki BiografiyaRobin Milner narodivsya u Yalmptoni sho bilya Plimutu Angliya u rodini vijskovih Z 1947 roku navchavsya v itonskomu koledzhi pislya chogo u 1952 1954 rr prohodiv vijskovu sluzhbu v inzhenernih vijskah britanskoyi armiyi angl Royal Engineers U 1959 roci pracyuvav shkilnim vchitelem v Londoni pislya chogo tri roki buv programistom v kompaniyi Ferranti z 1960 roku V 1963 roci odruzhivsya ta perejshov do en angl City University London de vikladav matematiku ta zacikavivsya problemoyu shtuchnogo intelektu Z pochatku 1971 roku Milner pracyuvav z Dzhonom Makkarti u Stenfordi V 1973 roci zalishiv spolucheni shtati ta perejshov do edinburzkogo universitetu de pracyuvav do 1994 roku ta buv odnim iz zasnovnikiv laboratoriyi osnov informatiki LFCS angl Laboratory for Foundations of Computer Science 1991 roku Milner otrimav premiyu Tyuringa za svoyi naukovi dosyagnennya ta v 1995 roci perejshov do kembridzhskogo universitetu de zajmav posadu golovi komp yuternoyi laboratoriyi angl Computer Laboratory u 1996 1999 rr Naukovi dosyagnennyaMilner rozrobiv odnu z najpershih program dlya avtomatichnogo dovedennya pid nazvoyu LCF angl Logic for Computable Functions dlya chogo vin takozh stvoriv movu programuvannya ML angl Meta Language z mehanizmom vivodu tipiv viraziv t zv en Div takozhTipobezpechnistPosilannyaMilner R 1993 Elements of interaction Turing award lecture Communications of the ACM 36 78 89 doi 10 1145 151233 151240 Matematichnij genealogichnij proyekt 1997 d Track Q829984 https www ae info org ae User Milner Robin https awards acm org fellows award recipients Milner Lectures at the LFCS LiteraturaVistup Robina Milnera z nagodi otrimannya pochesnogo diplomu vid Bolonskogo universitetu angl Rezyume Robina Milnera University of Cambridge angl Nekrolog Robina Milnera University of Cambridge angl Nekrolog Robina Milnera Guardian angl Personalna storinka Robina Milnera University of Cambridge angl Ce nezavershena stattya pro matematika Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya pro naukovcya chi naukovicyu Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi