Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5046597> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Q5046597 description "Computer scientist".
- Q5046597 description "Computer scientist".
- Q5046597 subject Q15274001.
- Q5046597 subject Q5312304.
- Q5046597 subject Q6647473.
- Q5046597 subject Q8245349.
- Q5046597 subject Q8276806.
- Q5046597 subject Q8466127.
- Q5046597 subject Q8753221.
- Q5046597 subject Q8883941.
- Q5046597 subject Q9408084.
- Q5046597 abstract "Template:ForCharles 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.".
- Q5046597 alias "Carroll Morgan".
- Q5046597 birthDate "1952".
- Q5046597 birthPlace Q30.
- Q5046597 birthPlace Q61.
- Q5046597 birthYear "1952".
- Q5046597 wikiPageExternalLink ~carrollm.
- Q5046597 wikiPageWikiLink Q1049183.
- Q5046597 wikiPageWikiLink Q1430781.
- Q5046597 wikiPageWikiLink Q145.
- Q5046597 wikiPageWikiLink Q15274001.
- Q5046597 wikiPageWikiLink Q1666530.
- Q5046597 wikiPageWikiLink Q21.
- Q5046597 wikiPageWikiLink Q30.
- Q5046597 wikiPageWikiLink Q3085774.
- Q5046597 wikiPageWikiLink Q3169881.
- Q5046597 wikiPageWikiLink Q408.
- Q5046597 wikiPageWikiLink Q487556.
- Q5046597 wikiPageWikiLink Q5260200.
- Q5046597 wikiPageWikiLink Q5312304.
- Q5046597 wikiPageWikiLink Q61.
- Q5046597 wikiPageWikiLink Q6647473.
- Q5046597 wikiPageWikiLink Q7240552.
- Q5046597 wikiPageWikiLink Q7307205.
- Q5046597 wikiPageWikiLink Q734764.
- Q5046597 wikiPageWikiLink Q752297.
- Q5046597 wikiPageWikiLink Q8245349.
- Q5046597 wikiPageWikiLink Q82594.
- Q5046597 wikiPageWikiLink Q8276806.
- Q5046597 wikiPageWikiLink Q8466127.
- Q5046597 wikiPageWikiLink Q8556.
- Q5046597 wikiPageWikiLink Q8753221.
- Q5046597 wikiPageWikiLink Q8883941.
- Q5046597 wikiPageWikiLink Q9408084.
- Q5046597 alternativeNames "Carroll Morgan".
- Q5046597 dateOfBirth "1952".
- Q5046597 name "Morgan, Charles Carroll".
- Q5046597 placeOfBirth Q30.
- Q5046597 placeOfBirth Q61.
- Q5046597 shortDescription "Computer scientist".
- Q5046597 type Person.
- Q5046597 type Agent.
- Q5046597 type Person.
- Q5046597 type Agent.
- Q5046597 type NaturalPerson.
- Q5046597 type Thing.
- Q5046597 type Q215627.
- Q5046597 type Q5.
- Q5046597 type Person.
- Q5046597 comment "Template:ForCharles 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.".
- Q5046597 label "Carroll Morgan (computer scientist)".
- Q5046597 givenName "Charles Carroll".
- Q5046597 name "Charles Carroll Morgan".
- Q5046597 name "Morgan, Charles Carroll".
- Q5046597 surname "Morgan".