 |
Робин МилнерАнглийский учёный в области теории вычислительных систем.
Дата рождения: 13.01.1934
Страна:  Великобритания |
Содержание:
Биография Робина Милнера
Робин Милнер - английский учёный в области теории вычислительных систем. Он родился в Плимуте в семье военного. С 1947 года Милнер учился в колледже Итон, а затем служил два года в армии до звания второго лейтенанта. В 1957 году он окончил Королевский Колледж Кэмбриджа.
Работа
После окончания колледжа, Милнер работал год школьным учителем математики. Затем он проработал три года программистом в компании Ferranti. В дальнейшем, Милнер начал свою карьеру в академической сфере, работая в таких университетах, как Лондонский городской университет, университет Суонси, Стэнфордский университет и Эдинбургский университет. В Эдинбургском университете он был одним из основателей лаборатории Laboratory for Foundations of Computer Science (LFCS). В 1995 году Милнер вернулся в Кэмбридж, где возглавил факультет информатики до своей пенсии в 1999 году.
Вклад в науку
Милнер сделал значительный вклад в область теоретической информатики. Он разработал систему ведения автоматических доказательств теорем LCF (Logic for Computable Functions), для которой был создан функциональный язык программирования ML. Позднее, он разработал исчисление взаимодействующих систем (CCS), теоретическую основу для анализа взаимодействующих систем, а также его расширение - пи-исчисление. Милнер является обладателем девяти почётных докторских титулов от разных университетов.
Почётные награды
Робин Милнер был награжден премией Тьюринга в 1991 году за свои работы в области LCF, ML и CCS. Он также получил почётное членство в Лондонском королевском обществе в 1988 году, членство в Ассоциации вычислительной техники в 1994 году и королевскую медаль от Эдинбургского королевского общества в 2004 году. В сентябре 2010 года Милнер занимал 25 место в списке самых цитируемых авторов в проекте CiteSeer.
