Артур Джон Робін Ґорел Мілнер (; 13 січня 1934 р. у (Плімут, Англія) — 20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.
Біографія Робін Мілнер народився у Ялмптоні, що біля Плімуту (Англія), у родині військових. З 1947 року навчався в ітонському коледжі, після чого у 1952—1954 рр. проходив військову службу в інженерних військах британської армії (). У 1959 році працював шкільним вчителем в Лондоні, після чого три роки був програмістом в компанії Ferranti (з 1960 року). В 1963 році одружився та перейшов до () де викладав математику та зацікавився проблемою штучного інтелекту. З початку 1971 року Мілнер працював з Джоном Маккарті у Стенфорді. В 1973 році залишив сполучені штати та перейшов до единбурзького університету де працював до 1994 року та був одним із засновників лабораторії основ інформатики LFCS ().Milner Lectures at the LFCS. 1991 року Мілнер отримав премію Тюрінга за свої наукові досягнення та в 1995 році перейшов до кембріджського університету, де займав посаду голови комп'ютерної лабораторії () у 1996—1999 рр.
Наукові досягнення Мілнер розробив одну з найперших програм для автоматичного доведення під назвою LCF (), для чого він також створив мову програмування ML () з механізмом виводу типів виразів, т. зв. .
Див. також Типобезпечність
Посилання
Література Виступ Робіна Мілнера з нагоди отримання почесного диплому від Болонського університету Резюме Робіна Мілнера (University of Cambridge) Некролог Робіна Мілнера (University of Cambridge) Некролог Робіна Мілнера (Guardian) Персональна сторінка Робіна Мілнера (University of Cambridge)