About: Carroll Morgan (computer scientist)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Carroll Morgan (computer scientist) Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q901, within Data Space : el.dbpedia.org associated with source document(s)

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. Together with , Morgan later authored Abstraction, Refinement and Proof for Probabilistic Systems, in which the same themes were pursued for probabilistic programs.

Attributes	Values
rdf:type	Thing person scientist animal eukaryote species dul:NaturalPerson foaf:Person schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901
rdfs:label	Carroll Morgan (computer scientist) (en)
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. Together with , Morgan later authored Abstraction, Refinement and Proof for Probabilistic Systems, in which the same themes were pursued for probabilistic programs. (en)
sameAs	Carroll Morgan (computer scientist) Carroll Morgan (computer scientist) Carroll Morgan (computer scientist) Carroll Morgan (computer scientist)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:For dbt:Official_website dbt:Reflist dbt:URL dbt:Use_dmy_dates dbt:Birth_year_and_age dbt:ALGOL_programming dbt:Infobox_scientist dbt:DBLP
foaf:homepage	http://www.cse.unsw.edu.au/~carrollm
Subject	1952 births American expatriates in Australia Australian computer scientists People from Washington, D.C. University of New South Wales faculty University of Sydney alumni Formal methods people Living people Members of the Department of Computer Science, University of Oxford
foaf:name	Charles Carroll Morgan (en)
gold:hypernym	Scientist
schema:sameAs	Carroll Morgan (computer scientist)
institution	University of New South Wales Department of Computer Science, University of Oxford
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Carroll_Morgan_(computer_scientist)?oldid=1074124181&ns=0
Wikipage page ID	27770334 (xsd:integer)
page length (characters) of wiki page	6740 (xsd:nonNegativeInteger)
Wikipage revision ID	1074124181 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal methods Professor Programming language Undergraduate education United Kingdom United States ALGOL 60 ALGOL 68 Australia B-Method University of New South Wales University of Sydney 1952 births American expatriates in Australia Australian computer scientists People from Washington, D.C. University of New South Wales faculty University of Sydney alumni Formal methods people Living people Members of the Department of Computer Science, University of Oxford Doctor of Philosophy Jean-Raymond Abrial Department of Computer Science, University of Oxford Computer program Computer science Computer scientist Security Concurrency (computer science) Mohol programming languages Specification (technical standard) Logres IFIP Working Group 2.1 Ken Robinson (computer scientist) International Federation for Information Processing International standard Z notation Refinement calculus dbr:Annabelle_McIver
academic discipline	Computer science
influenced by	Jean-Raymond Abrial Ken Robinson (computer scientist)
known for	Formal methods
nationality	United States
has 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 , Morgan later authored Abstraction, Refinement and Proof for Probabilistic Systems, in which the same themes were pursued for probabilistic programs. Morgan is now a professor in the School of Computer Science and Engineering at the University of New South Wales, and a Senior Principal Researcher at Trustworthy Systems, both 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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Carroll_Morgan_(computer_scientist)
is doctoral advisor of	Michael Butler (computer scientist)
is Wikipage redirect of	Carroll Morgan (academic)
is Link from a Wikipage to another Wikipage of	Morgan (surname) Carroll (given name) Carroll Morgan (academic)

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software