Чарльз Кэрролл Морган (1952 г.р.) - американский ученый-компьютерщик , переехавший в Австралию в раннем подростковом возрасте. Там он завершил свое образование (средняя школа, университет, несколько лет в промышленности), в том числе получил степень доктора философии (Ph.D.) в Сиднейском университете , а затем в начале 1980-х переехал в Соединенное Королевство . В 2000 году он вернулся в Австралию.
В 1980-х и 1990-х годах Морган работал в вычислительной лаборатории Оксфордского университета в Англии в качестве исследователя и лектора, работающего в области формальных методов , и был научным сотрудником Пембрукского колледжа. Находясь под влиянием Z-нотации Жана -Раймонда Абриала , он написал «Программирование из спецификаций» как попытку объединить высокоуровневые аспекты спецификации Z со строгими методами вывода компьютерных программ Эдсгера В. Дейкстры . Его обработка была сосредоточена на элементарных конструкциях программы, чтобы сделать материал доступным для студентов в первые годы их жизни. [1]Некоторые идеи позже были включены Абриалом в качестве элементов В-метода , когда Абриал вернулся в Оксфорд во второй половине 1980-х годов.
Вместе с Аннабель МакИвер Морган позже написал книгу « Абстракция, уточнение и доказательство для вероятностных систем» , в которой те же темы были исследованы для вероятностных программ. [2] Его последний текст (вместе с пятью другими) — «Наука о потоках количественной информации» , в которой те же темы были расширены до безопасности программ. [3]
В настоящее время Морган является профессором Школы компьютерных наук и инженерии Университета Нового Южного Уэльса [4] , старшим главным научным сотрудником Trustworthy Systems [5] и почетным профессором Университета Маккуори [6] в Австралии. Его основные исследовательские интересы связаны с вероятностными моделями компьютерной безопасности и параллелизма . Он является известным сторонником формализованного подхода к разработке программ, называемого уточняющим исчислением . [1] Он является автором многих работ.
Он участвует в разработке международных стандартов в области программирования и информатики в качестве активного члена нескольких рабочих групп Международной федерации обработки информации (IFIP), [7] включая рабочую группу IFIP 2.1 по алгоритмическим языкам и исчислениям, [8] которая определила , поддерживает , и поддерживает языки программирования ALGOL 60 и ALGOL 68 . [9]