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 A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is ...

(Ph.D.) degree from the

University of Sydney The University of Sydney (USYD), also known as Sydney University, or informally Sydney Uni, is a public research university located in Sydney, Australia. Founded in 1850, it is the oldest university in Australia and is one of the country's ...

, and then moved to the

United Kingdom The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a country in Europe, off the north-western coast of the European mainland, continental mainland. It comprises England, Scotlan ...

in the early 1980s. In 2000, he returned to Australia. During the 1980s and 1990s, Morgan was based at the

Oxford University Computing Laboratory The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...

as a researcher and lecturer working in the area of

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

, and was a Fellow of Pembroke College. Having been influenced by the Z notation of

Jean-Raymond Abrial Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. Abrial's 1974 paper ''Data Semantics'' laid the foundation for a formal approach to Data Models; although not adopted directly by practit ...

, he authored ''Programming from Specifications'' as an attempt to combine the high-level specification aspects of Z, with the rigorous

computer program A computer program is a sequence or set of instructions in a programming language for a computer to execute. Computer programs are one component of software, which also includes documentation and other intangible components. A computer program ...

derivation methods of Edsger W. Dijkstra. His treatment concentrated on elementary program constructs to make the material accessible to

undergraduates Undergraduate education is education conducted after secondary education and before postgraduate education. It typically includes all postsecondary programs up to the level of a bachelor's degree. For example, in the United States, an entry-le ...

in their early years. Some of the ideas there were later incorporated as elements of the

B-Method The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software. Overview B was originally developed in the 1980s by Jean-Raymond Abr ...

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 Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professors ...

in the School of Computer Science and Engineering at the

University of New South Wales The University of New South Wales (UNSW), also known as UNSW Sydney, is a public research university based in Sydney, New South Wales, Australia. It is one of the founding members of Group of Eight, a coalition of Australian research-intensiv ...

, 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 Computer security, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, t ...

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 The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 196 ...

(IFIP) working groups, including IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

s ALGOL 60 and

ALGOL 68 ALGOL 68 (short for ''Algorithmic Language 1968'') is an imperative programming language that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously d ...

References

External links

* * {{DEFAULTSORT:Morgan, Carroll 1952 births Living people People from Washington, D.C. American expatriates in Australia University of Sydney alumni Australian computer scientists Members of the Department of Computer Science, University of Oxford Academic staff of the University of New South Wales Formal methods people