アナベル・マクアイバー

アナベル・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 との共著) の共著者です。

• トペテ研究グループ