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