Robin Milner

http://dbpedia.org/resource/Robin_Milner an entity of type: Thing

Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing. rdf:langString

روبن ميلنر (بالإنجليزية: Robin Milner)‏ (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991. rdf:langString

Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger. rdf:langString

Arthur John Robin Gorell Milner, né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge, est un informaticien britannique. rdf:langString

Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner. rdf:langString

Arthur John Robin Gorell Milner (Plymouth, 13 gennaio 1934 – Cambridge, 20 marzo 2010) è stato un informatico britannico, vincitore del premio Turing nel 1991. rdf:langString

Robin Milner (Plymouth, 13 januari 1934 – Cambridge, 20 maart 2010) was een Brits informaticus. Hij is vooral bekend als de ontwikkelaar van de automatische stellingbewijzer LCF en de programmeertaal ML. Bovendien hield hij zich bezig met , in het bijzonder de Calculus of Concurrent Systems en diens opvolger de π-Calculus. rdf:langString

アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。 rdf:langString

Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. Od 1988 był członkiem Royal Society. Twórca (Logic for Computable Functions) – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML stworzonego na potrzeby LCF. rdf:langString

Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем. Член Лондонского королевского общества (1988), иностранный член Французской академии наук (2005), Национальной инженерной академии США (2008). rdf:langString

Arthur John Robin Gorell Milner (Plymouth, 13 de janeiro de 1934) é um informático britânico. Foi eleito membro da Royal Society em 1988. rdf:langString

Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики. rdf:langString

亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。 rdf:langString

Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010). Prominente científico británico en Informática. 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 hasta su fallecimiento. Generalmente se mencionan tres grandes contribuciones de Milner en computación: rdf:langString

Robin Milner adalah ilmuwan komputer dari Inggris. Milner lulus dari King's College, Cambridge pada tahun 1957, dan sempat menjadi guru, dan programmer sebelum akhirnya kembali ke dunia akademik. Posisi terakhir yang dijabatnya adalah sebagai kepala lab di hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan , alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama . Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai (CCS), dan kemudian dikembangkan menjadi pi-Calculus. rdf:langString

rdfs:label

rdf:langString Robin Milner

rdf:langString روبن ميلنر

rdf:langString Robin Milner

rdf:langString ロビン・ミルナー

rdf:langString Robin Milner

rdf:langString Милнер, Робин

rdf:langString Робін Мілнер

rdf:langString 罗宾·米尔纳

foaf:name

rdf:langString Robin Milner

dbpprop:name

rdf:langString Robin Milner

dbpedia-owl:deathDate

xsd:date 2010-03-20

dbpedia-owl:birthDate

xsd:date 1934-01-13

dbpedia-owl:wikiPageID

xsd:integer 93547

dbpedia-owl:wikiPageRevisionID

xsd:integer 1107473023

dbpprop:workInstitution

rdf:langString Aarhus University

rdf:langString Ferranti

rdf:langString Stanford University

rdf:langString Swansea University

rdf:langString University of Cambridge

rdf:langString University of Edinburgh

rdf:langString

rdf:langString City University, London

dbpprop:birthDate

xsd:date 1934-01-13

dbpprop:birthName

rdf:langString Arthur John Robin Gorell Milner

dbpprop:deathDate

xsd:date 2010-03-20

dbpprop:knownFor

rdf:langString

rdf:langString LCF

rdf:langString ML

rdf:langString Hindley–Milner type inference

rdf:langString -calculus

rdf:langString Theory of Computer Science

dbpedia-owl:abstract

rdf:langString Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing.

rdf:langString روبن ميلنر (بالإنجليزية: Robin Milner)‏ (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991.

rdf:langString Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger.

rdf:langString Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010). Prominente científico británico en Informática. 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 hasta su fallecimiento. 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 miembro de la Royal Society y en 1991 recibió el Premio Turing de la ACM. Falleció el 20 de marzo de 2010 en Cambridge.

rdf:langString Arthur John Robin Gorell Milner, né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge, est un informaticien britannique.

rdf:langString Robin Milner adalah ilmuwan komputer dari Inggris. Milner lulus dari King's College, Cambridge pada tahun 1957, dan sempat menjadi guru, dan programmer sebelum akhirnya kembali ke dunia akademik. Posisi terakhir yang dijabatnya adalah sebagai kepala lab di hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan , alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama . Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai (CCS), dan kemudian dikembangkan menjadi pi-Calculus. Pada tahun 1991, Milner mendapat penghargaan Turing Award.

rdf:langString Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

rdf:langString Arthur John Robin Gorell Milner (Plymouth, 13 gennaio 1934 – Cambridge, 20 marzo 2010) è stato un informatico britannico, vincitore del premio Turing nel 1991.

rdf:langString Robin Milner (Plymouth, 13 januari 1934 – Cambridge, 20 maart 2010) was een Brits informaticus. Hij is vooral bekend als de ontwikkelaar van de automatische stellingbewijzer LCF en de programmeertaal ML. Bovendien hield hij zich bezig met , in het bijzonder de Calculus of Concurrent Systems en diens opvolger de π-Calculus.

rdf:langString アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。

rdf:langString Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. Od 1988 był członkiem Royal Society. Twórca (Logic for Computable Functions) – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML stworzonego na potrzeby LCF.

rdf:langString Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем. Член Лондонского королевского общества (1988), иностранный член Французской академии наук (2005), Национальной инженерной академии США (2008).

rdf:langString Arthur John Robin Gorell Milner (Plymouth, 13 de janeiro de 1934) é um informático britânico. Foi eleito membro da Royal Society em 1988.

rdf:langString Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.

rdf:langString 亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。

dbpprop:doctoralAdvisor

rdf:langString None, as Milner never did a PhD

dbpprop:prizes

rdf:langString

rdf:langString FRS

rdf:langString Turing Award

rdf:langString FRSE

rdf:langString DFBCS

rdf:langString Foreign Associate, NAE

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 11225