Оглавление
Кэрролл Морган (специалист по компьютерам)
-
Биография и образование
- Чарльз Кэрролл Морган родился в 1952 году в США.
- В раннем подростковом возрасте переехал в Австралию.
- Получил степень доктора философии в Сиднейском университете.
-
Карьера в Великобритании
- В начале 1980-х годов переехал в Великобританию.
- Работал в компьютерной лаборатории Оксфордского университета.
- Был научным сотрудником Пемброк-колледжа.
-
Вклад в программирование
- Написал книгу “Программирование на основе спецификаций”.
- Пытался объединить Z-нотацию и методы Эдсгера У. Дейкстры.
- Работал над элементарными программными конструкциями.
-
Поздние работы
- Совместно с Аннабель Макайвер написал книгу “Абстракция, уточнение и доказательство для вероятностных систем”.
- Последняя работа – “Наука о количественном потоке информации”.
-
Текущая деятельность
- Профессор Школы компьютерных наук и инженерии Университета Нового Южного Уэльса.
- Старший научный сотрудник Trustworthy Systems.
- Почетный профессор Университета Маккуори.
-
Научные интересы
- Вероятностные модели компьютерной безопасности и параллелизма.
- Сторонник формализованного подхода к разработке программ.
- Автор многих статей.
-
Участие в международных стандартах
- Активный член Международной федерации обработки информации (IFIP).
- Член Рабочей группы IFIP 2.1 по алгоритмическим языкам и вычислениям.
- Определяет и поддерживает языки программирования ALGOL 60 и ALGOL Express. 68.