Робин Милнър

Снимка на Робин Милнър (photo Робин Milner)

Робин Milner

  • Дата на раждане: 13.01.1934 г.
  • Възраст: 76 години
  • Място на раждане: Плимут, Великобритания
  • Дата на смърт: 20.03.2010 г.
  • Националност: Великобритания

Биография

След като завършва колеж, той е работил като гимназиален учител по математика, след това три години като програмист в компанията Ferranti.

Робин Милнър е роден в Плимут в семейството на военен. От 1947 г. учи в колеж Итън, а след това (от 1952) служи две години в армията (в Royal Engineers) до звание втори лейтенант. След това Милнър записани в Кралския Колеж в Кеймбридж, който завършва през 1957 година. След като завършва колеж, той е работил като гимназиален учител по математика, след това три години като програмист в компанията Ferranti.

Милнър най-накрая попадна в институт, да работи първо в Лондонския градски университет, след това в университета в Суонзи и Станфордския университет, а от 1973 година в Единбургския университет. Там той става един от основателите на лабораторията Laboratory for Foundations of Computer Science (LFCS). През 1995 г., Милнър се завръща в Кеймбридж, където и ръководството на факултет информатика. През 1999 г. той се оттегля в пенсия. Женен, има двухдетей.

Милнър е разработила система за правене на автоматични доказателства » LCF (Bindings for Computable Functions). За тази система е създадена функционален език за програмиране ML. По-късно, Робин Милнър, който разви смятане взаимодействащи системи (CCS), теоретична рамка за анализ на взаимодействащи системи, както и на неговото разширяване — пи-смятане. Милнър е собственик на девет почетни докторски титли от различни университети.

През септември 2010 година, Милнър заема 25 място в списъка на най-цитираните автори в проекта CiteSeer.

Награди (откъс)

1988 — почетното членство в Лондонския royal общество

1991 — награда на Тюринг за LCF, ML и CCS

1994 — членство в Асоциацията на изчислителна техника

2004 — royal медал от кралското общество в Единбург