Jump to content

Carroll Morgan (computer scientist)

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 49.176.128.229 (talk) at 13:50, 13 July 2020. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

For the Canadian heavyweight boxer, see Carroll Morgan.

Professor
Charles Carroll Morgan
Ph.D.
Born1952 (age 71–72)
NationalityUnited States
EducationPh.D.; University of Sydney
Known forFormal methods
Scientific career
FieldsComputer science
InstitutionsOxford University Computing Laboratory
University of New South Wales
Websitewww.cse.unsw.edu.au/~carrollm

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 a Fellow of Pembroke College. 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 computer program derivation technique of Edsger W. Dijkstra. His treatment concentrated on elementary program constructs to make the material accessible to undergraduates in their early years.[1] 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 (Springer Monographs in Computer Science, ISBN 978-0-387-40115-7) in which the same themes were pursued for probabilistic programs.[2]

Morgan is now a professor in the School of Computer Science and Engineering at the University of New South Wales[3], as well as a Senior Principal Researcher at Trustworthy Systems, part of CSIRO's Data61[4], 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.[1] He is also the author of many papers, and an active member of several International Federation for Information Processing (IFIP) working groups,[5] including IFIP Working Group 2.1, which supports and maintains the programming languages ALGOL 60 and ALGOL 68.[6]

References

  1. ^ a b Morgan, Carroll (1998). Programming from Specifications. International Series in Computer Science (2nd ed.). Prentice Hall. Retrieved 26 January 2014.
  2. ^ Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science. Springer Verlag. 2005. doi:10.1007/b138392. ISBN 978-0-387-40115-7.
  3. ^ "Carroll Morgan, Professor, Aust. Professional Fellow ARC". Australia: University of New South Wales. Archived from the original on 1 February 2014. Retrieved 26 January 2014.
  4. ^ "Carroll Morgan, Senior Principal Researcher, Trustworthy Systems". Australia.
  5. ^ "Software Design Group: Carroll Morgan". USA: MIT. Archived from the original on 18 June 2010. Retrieved 20 June 2010.
  6. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 26 March 2020.

External links

Flag of AustraliaScientist icon Stub icon

This article about an Australian scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Carroll_Morgan_(computer_scientist)&oldid=967479983"