Аннабель МакИвер
Аннабель К. МакИвер — ученый-компьютерщик, чьи исследования включают использование формальных методов и информационных потоков в области компьютерной безопасности и проверки вероятностных систем. [1] Получив математическое образование в Великобритании, она работает в Австралии профессором Школы вычислительной техники Университета Маккуори . [2] и как один из руководителей-основателей Исследовательского центра коммуникаций будущего Маккуори. [3]
Образование
[ редактировать ]МакИвер изучала математику в Кембриджском университете , где в 1985 году получила двойную первую награду. В 1990 году она получила докторскую степень (D.Phil.) в Оксфордском университете . [2] Ее диссертация «Не-Хопфовы модули для бесконечных разрешимых групп » касалась абстрактной алгебры и была написана совместно Питером М. Нейманом и Мартином Б. Пауэллом. [4]
Книги
[ редактировать ]МакИвер является соавтором книги « Наука о количественном информационном потоке» (Springer, 2020, совместно с М.С. Алвимом, К. Паламидесси , К. Чацикоколакисом, К. Морганом и Г. Смитом), а также книги «Абстракция, уточнение и доказательство для вероятностных систем». (Спрингер, 2005, совместно с К. Морганом).
Ссылки
[ редактировать ]- ^ АНБ объявляет победителя ежегодного конкурса научных работ по кибербезопасности , Агентство национальной безопасности США, 21 августа 2015 г. , получено 24 июля 2023 г.
- ^ Jump up to: а б «Аннабель МакИвер» , профили исследователей , Университет Маккуори , получено 24 июля 2023 г.
- ^ «Откройте для себя наши новые исследовательские центры: коммуникации будущего» , на этой неделе , Университет Маккуори, 2 июня 2023 г. , получено 24 июля 2023 г.
- ^ Аннабель МакИвер в проекте «Математическая генеалогия»
