Морган, Кэрролл (учёный в области информатики)
Чарльз Кэрролл Морган
- Дата рождения
- 1952
- Род деятельности
- учёный в области информатики
- Место работы
-
Лаборатория вычислительной техники Оксфордского университета
Университет Нового Южного Уэльса
Награды и премии
премия АНБ за лучшую научную статью по кибербезопасности (2015)
Чарльз Кэрролл Морган ([Нет даты!]) — американский и австралийский учёный в области информатики. Известен как сторонник формализованного подхода к разработке программ, называемого исчислением уточнений.
Биография[править]
В подростковом возрасте переехал из США в Австралию. Получил образование (средняя школа, университет, несколько лет работы в промышленности), включая степень доктора философии в Сиднейском университете, а в начале 1980-х годов переехал в Великобританию. В 2000 году вернулся в Австралию.
В 1980-х и 1990-х годах Морган работал в Лаборатории вычислительной техники Оксфордского университета в Англии в качестве исследователя и преподавателя в области формальных методов, а также был научным сотрудником Пемброк-колледжа. Под влиянием Z-нотации Жана-Раймона Абриаля он написал книгу «Программирование на основе спецификаций» (англ. Programming from Specifications) как попытку объединить высокоуровневые аспекты спецификации Z с методами строгого вывода компьютерных программ Эдсгера Дейкстры. Его подход был сосредоточен на элементарных конструкциях программ, чтобы сделать материал доступным для студентов младших курсов. Некоторые из этих идей позже были включены Абриалем в B-метод, когда тот вернулся в Оксфорд во второй половине 1980-х годов.
Вместе с Аннабель Макайвер Морган позже написал книгу «Абстракция, уточнение и доказательство для вероятностных систем», в которой те же темы рассматривались для вероятностных программ. Его более поздняя работа (в соавторстве с пятью другими учёными) «Наука о количественном потоке информации» расширяет эти темы на безопасность программ.
Его последняя книга «Формальные методы, неформально: Как писать программы, которые работают» предназначена для студентов младших курсов, изучающих информатику, и направлена на обучение принципам строгого построения программ без предварительного изучения формальной логики.
Морган является почётным профессором Школы компьютерных наук и инженерии Университета Нового Южного Уэльса[1], старшим главным исследователем в Trustworthy Systems[2] и почётным профессором Университета Маккуори[3] (все три учреждения находятся в Австралии). Его основные научные интересы — вероятностные модели для компьютерной безопасности и параллельных вычислений. Он является автором множества статей.
Участвует в разработке международных стандартов в области программирования и информатики как активный член нескольких рабочих групп Международной федерации по обработке информации (IFIP)[4], включая Рабочую группу IFIP 2.1 по алгоритмическим языкам и исчислениям, которая определила, поддерживает и сопровождает языки программирования Алгол-60 и Алгол-68.
Примечания[править]
- ↑ Carroll Morgan, Professor, Aust. Professorial Fellow ARC. Australia: Университет Нового Южного Уэльса. Архивировано из первоисточника 1 февраля 2014.[недоступная ссылка] Проверено 26 января 2014.
- ↑ Trustworthy Systems. Проверено 23 сентября 2026.
- ↑ Honorary Professor. Проверено 23 сентября 2026.
- ↑ Software Design Group: Carroll Morgan. USA: MIT. Архивировано из первоисточника 18 июня 2010.[недоступная ссылка] Проверено 20 июня 2010.
Ссылки[править]
- cse.unsw.edu.au/~carrollm — официальный сайт «Морган, Кэрролл »
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Морган, Кэрролл (учёный в области информатики)», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|