Charles Carroll Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens.
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.
His treatment concentrated on elementary program constructs to make the material accessible to undergraduates in their early years.
[2] 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.
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,[7] including IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[8] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.