アナベル・マクアイバー

アナベル・K・マクアイバーはコンピュータ科学者であり、その研究はコンピュータセキュリティにおける形式手法と情報フローの利用、および確率システムの検証に関するものです。^{[ 1 ]}英国で数学の教育を受けた彼女は、オーストラリアのマッコーリー大学コンピューティング学部の教授として、^{[ 2 ]}マッコーリー大学の未来通信研究センターの創設リーダーの一人として働いています。^{[ 3 ]}

教育

マクアイバーはケンブリッジ大学で数学を学び、1985年に二冠王を受賞した。1990年にオックスフォード大学で博士号（D.Phil.）を取得した。 ^{[ 2 ]}彼女の博士論文「無限可溶性群の非ホップ加群」は抽象代数に関するもので、ピーター・M・ノイマンとマーティン・B・パウエルの共同指導を受けた。^{[ 4 ]}

本

McIver は、『 The Science of Quantitative Information Flow』（Springer、2020 年、MS Alvim、C. Palamidessi、K. Chatzikokolakis、C. Morgan 、G. Smith との共著）および『Abstraction, Refinement and Proof for Probabilistic Systems』（Springer、2005 年、C. Morgan との共著）の共著者です。

参考文献

1. NSAが年間サイバーセキュリティ研究論文コンペティションの優勝者を発表、米国国家安全保障局、2015年8月21日、2023年7月24日閲覧
2. 「Annabelle McIver」、研究者プロフィール、マッコーリー大学、2023年7月24日閲覧
3. 「Discover our new research centres: Future Communications」、This Week、マッコーリー大学、2023年6月2日、 2023年7月24日閲覧。
4. 数学系譜プロジェクトのアナベル・マクアイバー

外部リンク

• トペテ研究グループ