Відмінності між версіями «Робін Мілнер»

167 байтів додано ,  5 років тому
нема опису редагування
== Біографія ==
Робін Мілнер народився у Ялмптоні, що біля [[Плімут_(Англія)|Плімуту (Англія)]], у родині військових. З 1947 року навчався в [[Ітонський коледж|ітонському коледжі]], після чого проходив військову службу в інженерних військах [[Британська армія|британської армії]] ({{lang-en|Royal Engineers}}).
 
У 1991 Мілнер отримав [[Премія Тюрінга|премію Тюрінга]] за свої наукові досягнення.
 
== Наукові досягнення ==
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}).
 
 
== Посилання ==
== Література ==
* Виступ Робіна Мілнера з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] ({{lang-en|[http://www.cs.unibo.it/icalp/Lauree_milner.html]}}).
* Резюме Робіна Мілнера ({{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/cv.pdf PDF]}}).
 
{{ВП-портали|Біографії|Англія|Математика}}
982

редагування