Ћюдибиографии, истории, факты, фотографии

–обин ћилнер

   /   

Robin Milner

   /
             
‘отографи€ –обин ћилнер (photo Robin Milner)
   

ƒень рождени€: 13.01.1934 года
ћесто рождени€: ѕлимут, ¬еликобритани€
ƒата смерти: 20.03.2010 года
ћесто смерти:  ембридж, —Ўј
¬озраст: 76 лет

√ражданство: ¬еликобритани€

Ѕиографи€

јнглийский учЄный в области теории вычислительных систем.

ѕосле окончани€ колледжа он год работал школьным учителем математики, затем три года программистом в компании Ferranti.

VK Facebook Mailru Odnoklassniki Twitter Twitter Print

17.03.2012

–обин ћилнер родилс€ в ѕлимуте в семье военного. — 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.

Ќаграды (выдержка)

1988 Ч почЄтное членство в Ћондонском королевском обществе

1991 Ч преми€ “ьюринга за LCF, ML и CCS

1994 Ч членство в јссоциации вычислительной техники

Ћучшие дн€

√еоргий ярцев. Ѕиографи€
ѕосетило:11258
√еоргий ярцев
ћихаил “рухин. Ѕиографи€
ѕосетило:8672
ћихаил “рухин
¬еселый герой с печальным взгл€дом
ѕосетило:6680
Ћеонид Ѕыков

2004 Ч королевска€ медаль от Ёдинбургского королевского общества




¬аш комментарий (*):
я не робот...

Ћучшие недели

«о€ «арубина Ч человек-легенда
ѕосетило:24655
«о€ «арубина
Ђ ороль русского шансонаї
ѕосетило:17910
ћихаил  руг
¬ плену иллюзий
ѕосетило:31076
√овард ’ьюз

ƒобавьте свою информацию

«десь
јдминистраци€ проекта admin @ peoples.ru