Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist.
| Property | Value |
|---|
| dbpedia-owl:Person/birthDate
| |
| dbpedia-owl:Person/birthPlace
| |
| dbpedia-owl:Person/knownFor
| |
| dbpedia-owl:Scientist/doctoralStudent
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:doctoralStudent
| |
| dbpedia-owl:knownFor
| |
| dbpprop:abstract
|
- Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist.
- Arthur John Robin Gorell Milner FRS FRSE ist ein britischer Informatiker und Professor emeritus der Informatik an der Universität Cambridge.
- Robin Milner es un prominente científico británico en Computación. Graduado en el King's College, Cambridge en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge. Generalmente se mencionan tres grandes contribuciones de Milner en computación: Desarrolló el sistema LCF que fue una de las primeras herramientas de demostración automática de teoremas Desarrollo del lenguaje ML, que era el meta lenguaje para escribir estrategias y tácticas en LCF. También fue el primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos. Desarrollo de un marco teórico para el análisis de sistemas concurrentes, el cálculo de sistemas comunicantes y su sucesor, el cálculo pi. En 1988 fue nombrado caballero de la Sociedad Real Británica y en 1991 recibió el Premio Turing de la ACM.
- Arthur John Robin Gorell Milner est un informaticien britannique. Diplômé de l'université de Cambridge, il a été professeur aux universités de Londres, Swansea, Édimbourg, Stanford et Cambridge. Robin Milner est connu pour ses trois principales contributions en informatique, à savoir : LCF, le premier système de démonstration automatique de théorèmes, utilisé pour démontrer automatiquement des assertions mathématiques; le langage ML; la théorie d'analyse des systèmes concurrents (calculus of communicating systems, CCS) et son successeur, le pi-calcul. Ses trois inventions lui valurent le prix Turing de l'ACM en 1991.
- ロビン・ミルナー（Robin Milner、1934年 - ）は、英国の情報工学者。プリマス生まれ。 1957年、キングス・カレッジ (ケンブリッジ大学)を卒業後、学校教師となったが、その後フェランティ社でプログラマとして働く。その後学界に転じ、ロンドンのシティ大学、スワンシー大学、スタンフォード大学などで勤務。1973年からはエジンバラ大学に勤務した。1995年、ケンブリッジ大学コンピュータ研究所の所長に就任した。所長からは退いたが、現在もこの研究所で働いている。 ミルナーの情報工学における主な業績は3つある。彼は初期の自動定理証明ツールとして LCF を開発した。LCF向けに彼が開発したプログラミング言語MLは、ポリモルフィックな型推論と例外処理を持つ世界初の言語であった。全く異なる分野として、ミルナーは並行システムを解析するための理論的フレームワーク Calculus of Communicating Systems (CCS) や後継のπ計算を開発した。 1988年、王立協会のフェローに選ばれ、1991年、チューリング賞を受賞した。
- Robin Milner – brytyjski informatyk, twórca LCF - narzędzia wspierającego automatyczne dowodzenie twierdzeń i języka ML stworzonego na potrzeby LCF; ceniony za wkład w rozwój teorii systemów współbieżnych. Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005.
- Robin Milner este un informatician englez, cunoscut pentru dezvoltarea sistemului de demonstrare a teoremelor LCF, pentru care a inventat limbajul funcţional ML, în care a introdus pentru prima oară tiparea implicită şi un sistem type-safe de tratare a excepţiilor. De asemenea, Milner a construit un cadru teoretic pentru analiza sistemelor concurente, cadru denumit analiza sistemelor comunicante. Pentru aceste trei realizări, a primit Premiul Turing în 1990.
- Робин Милнер — английский учёный в области теории вычислительных систем.
- 罗宾·米尔纳（Robin Milner），英国计算机科学家。1991年获得图灵奖。 1952年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。回到学术界，先后在City大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院（)提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的罗宾·米尔纳演讲（)，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验室主任，现为剑桥大学计算机实验室教授。 在計算機科學裡，米爾納主要有三大貢獻。他開發了其中一個最早的自動定理證明工具——LCF。 他另一項主要工作是并发理论（concurrency theory），他提出了许多被广泛研究的并发计算模型：CCS、pi演算。
|
| dbpprop:birthDate
| |
| dbpprop:birthPlace
| |
| dbpprop:dateOfBirth
| |
| dbpprop:doctoralAdvisor
|
- None, as Milner never did a PhD
|
| dbpprop:doctoralStudents
|
- George Milne
Avra Cohn
Raymond Aubin
Mike Sanderson
Alan Mycroft
Luis Damas
Brian Monahan
Kevin Mitchell
Kim Larsen
K.V.S. Prasad
David N. Turner (1995)
Alex Mifsud
James J. Leifer (2001)
|
| dbpprop:field
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:imageWidth
| |
| dbpprop:knownFor
| |
| dbpprop:name
|
- Milner, Robin
- Robin Milner
|
| dbpprop:prizes
| |
| dbpprop:reference
| |
| dbpprop:shortDescription
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| dbpprop:workInstitution
| |
| rdf:type
| |
| rdfs:comment
|
- Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist.
- Arthur John Robin Gorell Milner FRS FRSE ist ein britischer Informatiker und Professor emeritus der Informatik an der Universität Cambridge.
- Robin Milner es un prominente científico británico en Computación. Graduado en el King's College, Cambridge en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge.
- Arthur John Robin Gorell Milner est un informaticien britannique. Diplômé de l'université de Cambridge, il a été professeur aux universités de Londres, Swansea, Édimbourg, Stanford et Cambridge.
- Robin Milner – brytyjski informatyk, twórca LCF - narzędzia wspierającego automatyczne dowodzenie twierdzeń i języka ML stworzonego na potrzeby LCF; ceniony za wkład w rozwój teorii systemów współbieżnych. Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005.
- Robin Milner este un informatician englez, cunoscut pentru dezvoltarea sistemului de demonstrare a teoremelor LCF, pentru care a inventat limbajul funcţional ML, în care a introdus pentru prima oară tiparea implicită şi un sistem type-safe de tratare a excepţiilor. De asemenea, Milner a construit un cadru teoretic pentru analiza sistemelor concurente, cadru denumit analiza sistemelor comunicante. Pentru aceste trei realizări, a primit Premiul Turing în 1990.
- Робин Милнер — английский учёный в области теории вычислительных систем.
|
| rdfs:label
|
- Robin Milner
- Robin Milner
- Robin Milner
- Robin Milner
- ロビン・ミルナー
- Robin Milner
- Robin Milner
- Милнер, Робин
- 罗宾·米尔纳
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:givenname
| |
| foaf:name
|
- Robin Milner
- Robin Milner
|
| foaf:page
| |
| foaf:surname
| |
| is dbpedia-owl:Scientist/doctoralAdvisor
of | |
| is dbpedia-owl:doctoralAdvisor
of | |
| is dbpprop:designer
of | |
| is dbpprop:disambiguates
of | |
| is dbpprop:doctoralAdvisor
of | |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
