Кэрролл Морган (ученый-компьютерщик) - Carroll Morgan (computer scientist)

Для канадского боксера в супертяжелом весе см. Кэрролл Морган.

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

Чарльз Кэрролл Морган (1952 г.р.) - американец специалист в области информатики кто переехал в Австралия в его раннем подростковом возрасте. Там он закончил свое образование (средняя школа, университет, несколько лет проработал на производстве), в том числе Доктор Философии (Доктор философии) Сиднейский университет, а затем перешел в объединенное Королевство в начале 1980-х гг. В 2000 году вернулся в Австралию.

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

Позднее вместе с Аннабель МакИвер Морган написал Абстракция, уточнение и доказательство для вероятностных систем, в котором те же темы преследовались для вероятностных программ.[2]

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

Он занимается разработкой международные стандарты в программировании и информатике, как активный участник нескольких Международная федерация обработки информации (IFIP) рабочие группы,[5] включая Рабочая группа 2.1 ИФИП по алгоритмическим языкам и исчислениям,[6] который указан, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68.[7]

Рекомендации

  1. ^ а б Морган, Кэрролл (1990–1998). Программирование из спецификаций. Международная серия по информатике (2-е изд.). Prentice Hall. ISBN  978-0137262335. Получено 4 октября 2020.
  2. ^ МакИвер, Аннабель; Морган, Чарльз Кэрролл (2005). Абстракция, уточнение и доказательство для вероятностных систем. Монографии по информатике. Нью-Йорк: Springer Nature. Дои:10.1007 / b138392. ISBN  978-0-387-40115-7.
  3. ^ «Кэрролл Морган, профессор, Aust. Профессиональный научный сотрудник ARC». Австралия: Университет Нового Южного Уэльса. Архивировано из оригинал 1 февраля 2014 г.. Получено 26 января 2014.
  4. ^ «Кэрролл Морган, старший главный научный сотрудник, Trustworthy Systems». Австралия.
  5. ^ «Группа разработчиков программного обеспечения: Кэрролл Морган». СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ: Массачусетский технологический институт. Архивировано из оригинал 18 июня 2010 г.. Получено 20 июн 2010.
  6. ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 4 октября 2020.
  7. ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 4 октября 2020.

внешняя ссылка