Робин Милнър британски компютърен учен

Робин Милнър, изцяло Артур Джон Робин Горел Милнър (роден на 13 януари 1934 г., Йелмптън, Девън, англ. - умрял на 20 март 2010 г., Кеймбридж, Кембриджшир), английски компютърист и носител на наградата „А.М. Тюринг от 1991 г.“ най-високата чест в областта на компютърните науки, за работата му с автоматични доказателства за теореми, езика за компютърно програмиране на ML и общата теория за съвместимост.

Милнър посещава колежа в Итън и печели стипендия, за да посети Кембриджския университет през 1952 г., но трябваше да отложи курсовата си работа, докато служи в Суецкия канал при кралските инженери на британската армия през следващите две години. Милнър влиза в Кеймбридж през 1954 г. и завършва с бакалавърска степен по математика през 1957 г. За пръв път е изложен на компютърни технологии през лятото на 1956 г. с кратък курс по програмиране, в който използва компютъра EDSAC на училището. След това Милнър се премества в Лондон, където заема различни задачи, включително след преподаване на математика в гимназията в Мерилебон (1959–60 г.), преди да стане компютърен програмист и разработва компилатори във Ferranti Ltd. (Ferranti произвежда първия търговски компютър, т.е. Феранти Марк I през 1951 г.)

През 1963 г. Милнър напуска Феранти за академична позиция в градския университет Лондон, където преподава математика на студентите по инженерство и започва изследвания в изкуствения интелект (AI) и приложението му в бази данни. През 1968 г. Милнер приема изследователска позиция в Университета на Уелс, Суонзи, където работи по проверка на програмата, автоматично доказване на теореми и семантика. През 1971 г. Милнър заминава за Съединените щати, за да работи с Джон Маккарти в лабораторията AI на университета в Станфорд. Милнър се завръща във Великобритания през 1973 г., за да приеме позиция в Университета в Единбург, където помага за проектирането на ML („метаезик“), компютърен език за програмиране, разработен за внедряване на автоматична теорема решаване. През 1995 г. Милнър се завръща в Кеймбридж като ръководител на компютърната лаборатория на училището. Пенсионира се през 2001 година.

Наред с други произведения, Милнър е автор на „Изчисление за комуникационни системи (1980), комуникация и съвместимост (1989), комуникационни и мобилни системи: Pi-изчислението (1999) и„ Пространството и движението на комуникационните агенти “(2009). Той е бил редактор за теоретичните компютърни науки, научните бележки в теоретичната компютърна наука, формалните аспекти на изчислителната техника и математическите структури в компютърните науки и е бил в редакцията на сборника на Proceedings of the Royal Society of Edinburgh: Section A, Mathematics.

Милнър е избран за Кралското общество (1988), Британското компютърно дружество (1988), Кралското дружество в Единбург (1993), Асоциацията на изчислителните машини (1994), Френската академия на науките (2005) и Националния щат на САЩ Инженерна академия (2008). В допълнение към наградата Тюринг, Милнър получава Техническа награда на Британското компютърно общество (1987), Кралското златно медал на Единбургското кралско дружество (2004) и Европейска асоциация за отличителни постижения за теоретични компютърни науки (2005).