This HTML5 document contains 125 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n26http://www.cse.unsw.edu.au/
n13https://global.dbpedia.org/id/
n16https://dblp.org/pid/m/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
n14http://viaf.org/viaf/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n25http://mg.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n24http://d-nb.info/gnd/
n9http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:Carroll_Morgan_(computer_scientist)
rdf:type
yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 wikidata:Q5 wikidata:Q729 yago:WikicatFormalMethodsPeople wikidata:Q215627 dbo:Scientist n19:NaturalPerson foaf:Person schema:Person dbo:Species yago:Object100002684 yago:Whole100003553 owl:Thing dbo:Person yago:WikicatAustralianComputerScientists yago:PhysicalEntity100001930 wikidata:Q901 dbo:Eukaryote dbo:Animal yago:Person100007846 wikidata:Q19088 yago:Organism100004475 yago:LivingThing100004258 yago:WikicatLivingPeople
rdfs:label
Carroll Morgan (computer scientist)
rdfs: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 Doctor of Philosophy (Ph.D.) degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.
foaf:name
Charles Carroll Morgan
foaf:homepage
n26:~carrollm
dbp:name
Charles Carroll Morgan
dcterms:subject
dbc:University_of_Sydney_alumni dbc:University_of_New_South_Wales_faculty dbc:American_expatriates_in_Australia dbc:Formal_methods_people dbc:People_from_Washington,_D.C. dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:1952_births dbc:Australian_computer_scientists dbc:Living_people
dbo:wikiPageID
27770334
dbo:wikiPageRevisionID
1123813562
dbo:wikiPageWikiLink
dbr:Doctor_of_Philosophy dbr:Oxford_University_Computing_Laboratory dbr:Jean-Raymond_Abrial dbr:Professor dbr:Specification_(technical_standard) dbr:International_Federation_for_Information_Processing dbr:ALGOL_68 dbr:Australia dbc:University_of_New_South_Wales_faculty dbr:Concurrency_(computer_science) dbr:United_States dbr:B-Method dbr:Programming_language dbc:American_expatriates_in_Australia dbr:Refinement_calculus dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbr:Z_notation dbr:University_of_New_South_Wales dbc:Formal_methods_people dbr:Ken_Robinson_(computer_scientist) dbc:People_from_Washington,_D.C. dbr:Computer_science dbc:Australian_computer_scientists dbc:1952_births dbr:IFIP_Working_Group_2.1 dbr:Computer_program dbr:ALGOL_60 dbr:University_of_Sydney dbr:Computer_scientist dbr:Formal_methods dbr:Edsger_W._Dijkstra dbr:Computer_security dbr:Undergraduate_education dbr:United_Kingdom dbc:Living_people dbr:England dbc:University_of_Sydney_alumni dbr:International_standard
owl:sameAs
freebase:m.0cc6_ms n9:p075230895 n13:4gPBC n14:191366632 n16:CarrollMorgan wikidata:Q5046597 yago-res:Carroll_Morgan_(computer_scientist) n24:172263808 n25:Carroll_Morgan n24:114559218X
dbp:workplaces
dbr:Oxford_University_Computing_Laboratory dbr:University_of_New_South_Wales
dbp:wikiPageUsesTemplate
dbt:For dbt:Reflist dbt:Birth_year_and_age dbt:Infobox_scientist dbt:Official_website dbt:URL dbt:ALGOL_programming dbt:Use_dmy_dates dbt:Authority_control dbt:DBLP
dbp:education
dbr:Doctor_of_Philosophy dbr:University_of_Sydney
dbp:fields
dbr:Computer_science
dbp:influences
dbr:Ken_Robinson_(computer_scientist) dbr:Jean-Raymond_Abrial
dbp:knownFor
dbr:Formal_methods
dbp:nationality
dbr:United_States
dbo: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 Doctor of Philosophy (Ph.D.) 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, Morgan was based at the Oxford University Computing Laboratory in England as a researcher and lecturer working in the area of formal methods, and was a Fellow of Pembroke College. Having been influenced by the Z notation of Jean-Raymond Abrial, he authored Programming from Specifications as an attempt to combine the high-level specification aspects of Z, with the rigorous computer program derivation methods of Edsger W. Dijkstra. His treatment concentrated on elementary program constructs 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 Abrial, when Abrial returned in Oxford in the last half of the 1980s. Together with Annabelle McIver, Morgan later authored Abstraction, Refinement and Proof for Probabilistic Systems, in which the same themes were pursued for probabilistic programs. His most recent text (with five others) is The Science of Quantitative Information Flow, in which the same themes were extended further, to program security. Morgan is now a professor in the School of Computer Science and Engineering at the University of New South Wales, a Senior Principal Researcher at Trustworthy Systems and an Honorary Professor at Macquarie University, all three in Australia. His main research interests are probabilistic models for computer security and concurrency. He is a known proponent of a formalized approach to program development called the refinement calculus. He has authored many papers. He is involved with developing international standards in programming and informatics, as an active member of several International Federation for Information Processing (IFIP) working groups, including IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.
dbo:institution
dbr:Oxford_University_Computing_Laboratory dbr:University_of_New_South_Wales
gold:hypernym
dbr:Scientist
schema:sameAs
n14:191366632
prov:wasDerivedFrom
wikipedia-en:Carroll_Morgan_(computer_scientist)?oldid=1123813562&ns=0
dbo:wikiPageLength
7592
dbo:academicDiscipline
dbr:Computer_science
dbo:influencedBy
dbr:Ken_Robinson_(computer_scientist) dbr:Jean-Raymond_Abrial
dbo:knownFor
dbr:Formal_methods
dbo:nationality
dbr:United_States
foaf:isPrimaryTopicOf
wikipedia-en:Carroll_Morgan_(computer_scientist)