Робін Мілнер: біографія

Біографія

Робін Мілнер народився в Плімуті в сім'ї військового. З 1947 року навчався в коледжі Ітон, потім (з 1952) служив два роки в армії (у Royal Engineers) до звання другого лейтенанта. Потім Мілнер вступив в Королівський Коледж Кембриджа, який закінчив у 1957 році. Після закінчення коледжу він рік працював шкільним вчителем математики, потім три роки програмістом в компанії Ferranti.

Мілнер нарешті потрапив до інституту, працюючи спочатку в Лондонському міському університеті, потім в університеті Суонсі і Стенфордському університеті, а з 1973 року в Единбурзькому університеті. Там він став одним із засновників лабораторії Laboratory for Foundations of Computer Science (LFCS). У 1995 році Мілнер повернувся в Кембридж, де й очолив факультет інформатики. У 1999 році він пішов на пенсію. Одружений, має двох дітей.

Мілнер розробив систему ведення автоматичних доказів теорем LCF (Logic for Computable Functions). Для цієї системи був створений функціональна мова програмування ML. Пізніше, Робін Мілнер розробив числення взаємодіючих систем (CCS), теоретичну основу для аналізу взаємодіючих систем, а також його розширення - пі-числення. Мілнер є володарем дев'яти почесних докторських титулів від різних університетів.

У вересні 2010 року Мілнер займав 25 місце в списку найбільш цитованих авторів у проекті CiteSeer.

Нагороди (витяг)

• 1991 - премія Тьюрінга за LCF, ML і CCS
• 1994 - членство в Асоціації обчислювальної техніки
• 1988 - почесне членство в Лондонському королівському товаристві
• 2004 - королівська медаль від Единбурзького королівського товариства

Комментарии

Сайт: Википедия