Content-Length: 20139 About: Robin Milner

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 Computer Laboratory hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan LCF, alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama ML.

PropertyValue
dbpedia-owl:abstract
  • 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 Computer Laboratory hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan LCF, alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama ML. Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai Calculus of Communicating Systems, dan kemudian dikembangkan menjadi pi-Calculus. Pada tahun 1991, Milner mendapat penghargaan Turing Award.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 116849 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 6672011 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dcterms:subject
rdfs:comment
  • 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 Computer Laboratory hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan LCF, alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama ML.
rdfs:label
  • Robin Milner
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of