Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Carroll_Morgan_(computer_scientist)> ?p ?o }
Showing triples 1 to 92 of
92
with 100 triples per page.
- Carroll_Morgan_(computer_scientist) abstract "Charles Carroll Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens. He completed his education there (high school, university, several years in industry), including a PhD degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.During the 1980s and 1990s, Carroll Morgan was based at the Oxford University Computing Laboratory in England as a researcher and lecturer working in the area of formal methods. Having been influenced by the Z notation of Jean-Raymond Abrial, he authored Programming from Specifications (Prentice Hall International Series in Computer Science, ISBN 0-13-123274-6) as an attempt to bring the high-level specification aspects of Z together with the rigorous program-derivation technique of Edsger Wybe Dijkstra; his treatment concentrated on elementary program constructs in order to make the material accessible to undergraduates in their early years. Some of the ideas there were later incorporated as elements of the B-Method by Jean-Raymond Abrial, when Abrial returned in Oxford in the second half of the 1980s.Together with Annabelle McIver, Morgan later authored Abstraction, Refinement and Proof for Probabilistic Systems (Springer Monographs in Computer Science, ISBN 978-0-387-40115-7) in which the same themes were pursued for probabilistic programs.Morgan is now Professor at the University of New South Wales in Australia. His primary research interests are probabilistic models for security and concurrency. He is also the author of numerous papers and active member of a number of IFIP working groups.Carroll Morgan is known as a proponent of formalized approach to program development called the Refinement Calculus.".
- Carroll_Morgan_(computer_scientist) alias "Carroll Morgan".
- Carroll_Morgan_(computer_scientist) birthDate "1952".
- Carroll_Morgan_(computer_scientist) birthPlace United_States.
- Carroll_Morgan_(computer_scientist) birthPlace Washington,_D.C..
- Carroll_Morgan_(computer_scientist) birthYear "1952".
- Carroll_Morgan_(computer_scientist) wikiPageExternalLink ~carrollm.
- Carroll_Morgan_(computer_scientist) wikiPageID "27770334".
- Carroll_Morgan_(computer_scientist) wikiPageLength "3952".
- Carroll_Morgan_(computer_scientist) wikiPageOutDegree "28".
- Carroll_Morgan_(computer_scientist) wikiPageRevisionID "645061008".
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Australia.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink B-Method.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:1952_births.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:American_expatriates_in_Australia.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:Australian_computer_scientists.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:Formal_methods_people.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:Living_people.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:People_from_Washington,_D.C..
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:University_of_New_South_Wales_faculty.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Category:University_of_Sydney_alumni.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Computer_scientist.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Doctor_of_Philosophy.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Edsger_W._Dijkstra.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink England.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Formal_methods.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink International_Federation_for_Information_Processing.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Jean-Raymond_Abrial.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Prentice_Hall_International_Series_in_Computer_Science.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Refinement_calculus.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink United_Kingdom.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink United_States.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink University_of_New_South_Wales.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink University_of_Sydney.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Washington,_D.C..
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Z_notation.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLinkText "C. C. Morgan".
- Carroll_Morgan_(computer_scientist) wikiPageWikiLinkText "Carroll Morgan (computer scientist)".
- Carroll_Morgan_(computer_scientist) wikiPageWikiLinkText "Carroll Morgan".
- Carroll_Morgan_(computer_scientist) alternativeNames "Carroll Morgan".
- Carroll_Morgan_(computer_scientist) dateOfBirth "1952".
- Carroll_Morgan_(computer_scientist) name "Morgan, Charles Carroll".
- Carroll_Morgan_(computer_scientist) placeOfBirth United_States.
- Carroll_Morgan_(computer_scientist) placeOfBirth Washington,_D.C..
- Carroll_Morgan_(computer_scientist) shortDescription "Computer scientist".
- Carroll_Morgan_(computer_scientist) wikiPageUsesTemplate Template:Australia-scientist-stub.
- Carroll_Morgan_(computer_scientist) wikiPageUsesTemplate Template:Compu-bio-stub.
- Carroll_Morgan_(computer_scientist) wikiPageUsesTemplate Template:DBLP.
- Carroll_Morgan_(computer_scientist) wikiPageUsesTemplate Template:For.
- Carroll_Morgan_(computer_scientist) wikiPageUsesTemplate Template:Persondata.
- Carroll_Morgan_(computer_scientist) wikiPageUsesTemplate Template:Reflist.
- Carroll_Morgan_(computer_scientist) description "Computer scientist".
- Carroll_Morgan_(computer_scientist) description "Computer scientist".
- Carroll_Morgan_(computer_scientist) subject Category:1952_births.
- Carroll_Morgan_(computer_scientist) subject Category:American_expatriates_in_Australia.
- Carroll_Morgan_(computer_scientist) subject Category:Australian_computer_scientists.
- Carroll_Morgan_(computer_scientist) subject Category:Formal_methods_people.
- Carroll_Morgan_(computer_scientist) subject Category:Living_people.
- Carroll_Morgan_(computer_scientist) subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Carroll_Morgan_(computer_scientist) subject Category:People_from_Washington,_D.C..
- Carroll_Morgan_(computer_scientist) subject Category:University_of_New_South_Wales_faculty.
- Carroll_Morgan_(computer_scientist) subject Category:University_of_Sydney_alumni.
- Carroll_Morgan_(computer_scientist) hypernym Scientist.
- Carroll_Morgan_(computer_scientist) type Agent.
- Carroll_Morgan_(computer_scientist) type List.
- Carroll_Morgan_(computer_scientist) type Person.
- Carroll_Morgan_(computer_scientist) type Scientist.
- Carroll_Morgan_(computer_scientist) type Person.
- Carroll_Morgan_(computer_scientist) type Designer.
- Carroll_Morgan_(computer_scientist) type List.
- Carroll_Morgan_(computer_scientist) type Member.
- Carroll_Morgan_(computer_scientist) type Scientist.
- Carroll_Morgan_(computer_scientist) type Agent.
- Carroll_Morgan_(computer_scientist) type NaturalPerson.
- Carroll_Morgan_(computer_scientist) type Thing.
- Carroll_Morgan_(computer_scientist) type Q215627.
- Carroll_Morgan_(computer_scientist) type Q5.
- Carroll_Morgan_(computer_scientist) type Person.
- Carroll_Morgan_(computer_scientist) comment "Charles Carroll Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens. He completed his education there (high school, university, several years in industry), including a PhD degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s.".
- Carroll_Morgan_(computer_scientist) label "Carroll Morgan (computer scientist)".
- Carroll_Morgan_(computer_scientist) sameAs Q5046597.
- Carroll_Morgan_(computer_scientist) sameAs Carroll_Morgan.
- Carroll_Morgan_(computer_scientist) sameAs m.0cc6_ms.
- Carroll_Morgan_(computer_scientist) sameAs Q5046597.
- Carroll_Morgan_(computer_scientist) wasDerivedFrom Carroll_Morgan_(computer_scientist)?oldid=645061008.
- Carroll_Morgan_(computer_scientist) givenName "Charles Carroll".
- Carroll_Morgan_(computer_scientist) isPrimaryTopicOf Carroll_Morgan_(computer_scientist).
- Carroll_Morgan_(computer_scientist) name "Charles Carroll Morgan".
- Carroll_Morgan_(computer_scientist) name "Morgan, Charles Carroll".
- Carroll_Morgan_(computer_scientist) surname "Morgan".