معرفی
Annabelle McIver is a Professor at the School of Computing, Macquarie University, and a member of the Data Horizons Research Centre, Future Communications Research Centre, and Frontier AI Research Centre. Her research focuses on program verification, quantitative information flow, and privacy-preserving technologies. She holds a DPhil in Mathematics from the University of Oxford and a BA from the University of Cambridge. McIver has held visiting positions at MIT, ETH Zurich, and INRIA, and was a Junior Research Fellow at St Hilda's College, Oxford. Her work has been recognized with awards including the 2015 Best Scientific Cybersecurity Paper and the 2023 Faculty of Science and Engineering Award for Inter-School Collaboration. She leads the Topete Research Group, exploring formal methods and their applications in security and privacy.
Her research interests span formal verification, differential privacy, and the mathematical analysis of security flaws. Key projects include work on probabilistic programming, privacy in machine learning, and secure data pipelines. McIver has authored over 125 publications and contributed to initiatives like the Digital Finance CRC and the AIS-SHIELDS project securing health data. Her recent work emphasizes privacy-utility trade-offs in technologies like differential privacy and adversarial attacks.
- Education:
- PhD (DPhil) in Mathematics, University of Oxford (1990)
- BA (Double First) in Mathematics, University of Cambridge (1985)
- Awards:
- Best Scientific Cybersecurity Paper (2015)
- Distinguished Paper Award (2024)
- Platt Prize (1984)
- Unwin Prize (1985)
McIver collaborates internationally on cybersecurity, privacy frameworks, and formal methods, with active projects in autonomous systems, healthcare data security, and AI ethics.
