Кэрролл Морган (ученый-компьютерщик)
Чарльз Кэрролл Морган | |
|---|---|
| Рожденный | 1952 (71–72 года) |
| Национальность | Американский |
| Образование | Кандидат наук. ; Сиднейский университет |
| Известный | Формальные методы |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Вычислительная лаборатория Оксфордского университета Университет Нового Южного Уэльса |
| Веб-сайт | www |
Чарльз Кэрролл Морган (род. 1952) — американский ученый-компьютерщик , который переехал в Австралию в раннем подростковом возрасте. Там он завершил свое образование (средняя школа, университет, несколько лет работы в промышленности), включая степень доктора философии (Ph.D.) в Сиднейском университете , а затем переехал в Соединенное Королевство в начале 1980-х годов. В 2000 году он вернулся в Австралию.
В 1980-х и 1990-х годах Морган работал в вычислительной лаборатории Оксфордского университета в Англии в качестве исследователя и преподавателя, работающего в области формальных методов , и был научным сотрудником Пембрук-колледжа. Под влиянием нотации Z Жана -Раймона Абриала он написал «Программирование на основе спецификаций» как попытку объединить аспекты спецификации высокого уровня Z со строгими компьютерных программ методами создания Эдсгера В. Дейкстры . Его подход был сосредоточен на построении элементарных программ, чтобы сделать материал доступным для студентов первых лет обучения. [1] Некоторые из идей были позднее включены в Б-метод Абриалом, когда Абриал вернулся в Оксфорд во второй половине 1980-х годов.
Вместе с Аннабель МакИвер Морган позже написал книгу «Абстракция, уточнение и доказательство вероятностных систем» , в которой те же темы преследовались для вероятностных программ. [2] Его последняя работа (вместе с пятью другими) — «Наука количественного информационного потока» , в которой те же темы были расширены до уровня безопасности программ. [3]
Сейчас Морган — профессор Школы компьютерных наук и инженерии Университета Нового Южного Уэльса . [4] старший главный научный сотрудник Trustworthy Systems [5] и почетный профессор Университета Маккуори, [6] все трое в Австралии. Его основные научные интересы — вероятностные модели компьютерной безопасности и параллелизма . Он является известным сторонником формализованного подхода к разработке программ, называемого уточняющим исчислением . [1] Он является автором многих статей.
Он занимается разработкой международных стандартов в области программирования и информатики, являясь активным членом нескольких рабочих групп Международной федерации обработки информации (IFIP). [7] включая Рабочую группу 2.1 ИФИП по алгоритмическим языкам и исчислениям, [8] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [9]
Ссылки [ править ]
- ^ Перейти обратно: а б Морган, Кэрролл (1990–1998). Программирование по спецификациям . Международная серия по информатике (2-е изд.). Прентис Холл . ISBN 978-0137262335 . Проверено 4 октября 2020 г.
- ^ МакИвер, Аннабель; Морган, Чарльз Кэрролл (2005). Абстракция, уточнение и доказательство вероятностных систем . Монографии по информатике. Нью-Йорк: Springer Nature . дои : 10.1007/b138392 . ISBN 978-0-387-40115-7 .
- ^ Альвим, Марио; Хацикоколакис, Константинос; МакИвер, Аннабель; Морган, Чарльз Кэрролл; Паламидесси, Катусия ; Смит, Джеффри (2020). Наука количественного информационного потока . Монографии по информационной безопасности и криптографии. Нью-Йорк: Springer Nature . дои : 10.1007/978-3-319-96131-6 . ISBN 978-3-319-96129-3 . S2CID 221841150 .
- ^ «Кэрролл Морган, профессор, научный сотрудник ARC» . Австралия: Университет Нового Южного Уэльса . Архивировано из оригинала 1 февраля 2014 года . Проверено 26 января 2014 г.
- ^ «Надежные системы» . Австралия.
- ^ «Почетный профессор» . Австралия.
- ^ «Группа разработки программного обеспечения: Кэрролл Морган» . США: Массачусетский технологический институт . Архивировано из оригинала 18 июня 2010 года . Проверено 20 июня 2010 г.
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 4 октября 2020 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 4 октября 2020 г.
Внешние ссылки [ править ]
- Официальный веб-сайт
- Кэрролл Морган на DBLP библиографическом сервере
Алгол- программирование |
|---|
- 1952 года рождения
- Живые люди
- Люди из Вашингтона, округ Колумбия
- Американские эмигранты в Австралии
- Выпускники Сиднейского университета
- Австралийские ученые-компьютерщики
- Члены кафедры компьютерных наук Оксфордского университета
- Академический состав Университета Нового Южного Уэльса
- Формальные методы люди