Кэрролл Морган (специалист по информатике)

Чарльз Кэрролл Морган
Чарльз Кэрролл Морган
Рожденный	1952 (71–72 года)
Национальность	американский
Образование	Доктор философии ; Сиднейский университет
Известный	Формальные методы
	Научная карьера
Поля	Информатика
Учреждения	Вычислительная лаборатория Оксфордского университета ; Университет Нового Южного Уэльса
Веб-сайт	www.cse.unsw.edu.au/~carrollm

Американский учёный-компьютерщик

Чарльз Кэрролл Морган (родился в 1952 году) — американский компьютерный учёный , который переехал в Австралию в раннем подростковом возрасте. Он закончил там своё образование (средняя школа, университет, несколько лет в промышленности), включая степень доктора философии (Ph.D.) в Сиднейском университете , а затем переехал в Соединённое Королевство в начале 1980-х годов. В 2000 году он вернулся в Австралию.

В 1980-х и 1990-х годах Морган работал в вычислительной лаборатории Оксфордского университета в Англии в качестве исследователя и лектора, работая в области формальных методов , и был членом колледжа Пембрук. Находясь под влиянием нотации Z Жана -Раймонда Абриаля , он написал книгу «Программирование из спецификаций» как попытку объединить высокоуровневые аспекты спецификации Z со строгими методами вывода компьютерных программ Эдсгера В. Дейкстры . Его работа была сосредоточена на элементарных программных конструкциях, чтобы сделать материал доступным для студентов в их ранние годы. ^[1] Некоторые из идей были позже включены в качестве элементов B-метода Абриалем, когда Абриаль вернулся в Оксфорд во второй половине 1980-х годов.

Вместе с Аннабель МакИвер Морган позже написал книгу «Абстракция, уточнение и доказательство для вероятностных систем» , в которой те же темы рассматривались для вероятностных программ. ^[2] Его последний текст (вместе с пятью другими) — «Наука о количественном информационном потоке» , в которой те же темы были расширены до безопасности программ. ^[3]

В настоящее время Морган является профессором Школы компьютерных наук и инженерии в Университете Нового Южного Уэльса ^[4], старшим главным научным сотрудником в Trustworthy Systems ^[5] и почетным профессором в Университете Маккуори ^[6] , все три в Австралии. Его основные исследовательские интересы — вероятностные модели компьютерной безопасности и параллелизма . Он известный сторонник формализованного подхода к разработке программ, называемого исчислением уточнения ^[1] . Он является автором множества статей.

Он участвует в разработке международных стандартов в области программирования и информатики, являясь активным членом нескольких рабочих групп Международной федерации по обработке информации (IFIP) ^[7] , включая Рабочую группу IFIP 2.1 по алгоритмическим языкам и исчислениям ^[8], которая специфицировала , обслуживала и поддерживала языки программирования ALGOL 60 и ALGOL 68. [ ^9]

Ссылки

^ ab Morgan, Carroll (1990–1998). Программирование по спецификациям. Международная серия по информатике (2-е изд.). Prentice Hall . ISBN 978-0137262335. Получено 4 октября 2020 г. .
^ Макайвер, Аннабель; Морган, Чарльз Кэрролл (2005). Абстракция, уточнение и доказательство для вероятностных систем . Монографии по информатике. Нью-Йорк: Springer Nature . doi :10.1007/b138392. ISBN 978-0-387-40115-7.
^ Alvim, Mario; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Charles Carroll; Palamidessi, Catuscia ; Smith, Geoffrey (2020). Наука о количественном информационном потоке . Монографии по информационной безопасности и криптографии. Нью-Йорк: Springer Nature . doi : 10.1007/978-3-319-96131-6. ISBN 978-3-319-96129-3. S2CID 221841150.
^ "Carroll Morgan, Professor, Aust. Professorial Fellow ARC". Австралия: Университет Нового Южного Уэльса . Архивировано из оригинала 1 февраля 2014 года . Получено 26 января 2014 года .
^ «Надежные системы». Австралия.
^ "Почетный профессор". Австралия.
^ "Software Design Group: Carroll Morgan". США: MIT . Архивировано из оригинала 18 июня 2010 года . Получено 20 июня 2010 года .
^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 августа 2016 г.). «Профиль рабочей группы IFIP 2.1». Foswiki . Получено 4 октября 2020 г.
^ Свирстра, Доайтсе; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «Область применения: IFIP21: Foswiki». Фосвики . Проверено 4 октября 2020 г.

Внешние ссылки

Официальный сайт
Кэрролл Морган на библиографическом сервере DBLP

[PfS-1] Morgan, Carroll (1990–1998). Программирование по спецификациям. Международная серия по информатике (2-е изд.). Prentice Hall . ISBN 978-0137262335. Получено 4 октября 2020 г. .

[arp-2] Макайвер, Аннабель; Морган, Чарльз Кэрролл (2005). Абстракция, уточнение и доказательство для вероятностных систем . Монографии по информатике. Нью-Йорк: Springer Nature . doi :10.1007/b138392. ISBN 978-0-387-40115-7.

[tsoqif-3] Alvim, Mario; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Charles Carroll; Palamidessi, Catuscia ; Smith, Geoffrey (2020). Наука о количественном информационном потоке . Монографии по информационной безопасности и криптографии. Нью-Йорк: Springer Nature . doi : 10.1007/978-3-319-96131-6. ISBN 978-3-319-96129-3. S2CID 221841150.

[4] "Carroll Morgan, Professor, Aust. Professorial Fellow ARC". Австралия: Университет Нового Южного Уэльса . Архивировано из оригинала 1 февраля 2014 года . Получено 26 января 2014 года .

[5] «Надежные системы». Австралия.

[6] "Почетный профессор". Австралия.

[7] "Software Design Group: Carroll Morgan". США: MIT . Архивировано из оригинала 18 июня 2010 года . Получено 20 июня 2010 года .

[8] Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 августа 2016 г.). «Профиль рабочей группы IFIP 2.1». Foswiki . Получено 4 октября 2020 г.

[9] Свирстра, Доайтсе; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «Область применения: IFIP21: Foswiki». Фосвики . Проверено 4 октября 2020 г.