Age, Biography and Wiki

Carroll Morgan was born on 1952 in United States, is an American computer scientist. Discover Carroll Morgan's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 72 years old?

Popular As N/A
Occupation N/A
Age 72 years old
Zodiac Sign N/A
Born
Birthday
Birthplace N/A
Nationality United States

We recommend you to check the complete list of Famous People born on . He is a member of famous computer with the age 72 years old group.

Carroll Morgan Height, Weight & Measurements

At 72 years old, Carroll Morgan height not available right now. We will update Carroll Morgan's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.

Physical Status
Height Not Available
Weight Not Available
Body Measurements Not Available
Eye Color Not Available
Hair Color Not Available

Dating & Relationship status

He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.

Family
Parents Not Available
Wife Not Available
Sibling Not Available
Children Not Available

Carroll Morgan Net Worth

His net worth has been growing significantly in 2023-2024. So, how much is Carroll Morgan worth at the age of 72 years old? Carroll Morgan’s income source is mostly from being a successful computer. He is from United States. We have estimated Carroll Morgan's net worth, money, salary, income, and assets.

Net Worth in 2024 $1 Million - $5 Million
Salary in 2024 Under Review
Net Worth in 2023 Pending
Salary in 2023 Under Review
House Not Available
Cars Not Available
Source of Income computer

Carroll Morgan Social Network

Instagram
Linkedin
Twitter
Facebook
Wikipedia Carroll Morgan Wikipedia
Imdb

Timeline

1952

Charles Carroll Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens.

1980

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.

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 to 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.

2000

In 2000, he returned to Australia.