World's Best Scientists 2026 revealed!
Annabelle McIver

Annabelle McIver

D-Index & Metrics

Computer Science

D-Index
30
Citations
4034
World Ranking
14074
National Ranking
413

Overview

Annabelle McIver is affiliated with Macquarie University in Australia and has a research focus primarily within the field of Computer Science. Their work spans several subfields including Artificial Intelligence, Sociology and Political Science, Computational Theory and Mathematics, Computer Networks and Communications, and Management Science and Operations Research.

Their research addresses a range of topics, featuring prominently on Privacy-Preserving Technologies in Data, Security and Verification in Computing, Privacy, Security, and Data Protection, as well as Formal Methods in Verification. Additional topics of interest include Advanced Malware Detection Techniques, Adversarial Robustness in Machine Learning, and Data Quality and Management.

Recent scholarly publications by McIver include:

  • "Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata" (2022), Proceedings on Privacy Enhancing Technologies
  • "On Privacy and Accuracy in Data Releases (Invited Paper)" (2020), Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "Universal optimality and robust utility bounds for metric differential privacy1" (2023), Journal of Computer Security
  • "Universal Optimality and Robust Utility Bounds for Metric Differential Privacy" (2022), arXiv (Cornell University)
  • "Correctness by Construction for Probabilistic Programs" (2020), Lecture notes in computer science

Frequent co-authors in their body of work include Mário S. Alvim, Catuscia Palamidessi, Konstantinos Chatzikokolakis, and Carroll Morgan.

McIver has published extensively in several venues such as arXiv (Cornell University), Lecture notes in computer science, Formal Methods in System Design, Proceedings on Privacy Enhancing Technologies, and Leibniz-Zentrum für Informatik (Schloss Dagstuhl).

They also contributed to the publication of the book The Science of Quantitative Information Flow (2020) under Springer Nature.

Best Publications

  • Abstraction, Refinement and Proof for Probabilistic Systems

    Annabelle Mclver;Carroll Morgan

  • Probabilistic predicate transformers

    Carroll Morgan;Annabelle McIver;Karen Seidel

  • Probabilistic guarded commands mechanized in HOL

    Joe Hurd;Annabelle McIver;Carroll Morgan

  • Probabilistic models for the guarded command language

    He Jifeng;K. Seidel;A. McIver

  • Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)

    Annabelle McIver;Carroll Morgan

  • Linear-invariant generation for probabilistic programs: automated support for proof-based methods

    Joost-Pieter Katoen;Annabelle K. McIver;Larissa A. Meinicke;Carroll C. Morgan

  • Refinement-oriented probability for CSP

    Carroll Morgan;Annabelle Mciver;Karen Seidel;J. W. Sanders

  • Programming methodology

    Annabelle McIver;Carroll Morgan

  • A new proof rule for almost-sure termination

    Annabelle McIver;Carroll Morgan;Benjamin Lucien Kaminski;Benjamin Lucien Kaminski;Joost-Pieter Katoen

  • Probabilistic Guarded Commands Mechanized in HOL

    Joe Hurd;Annabelle McIver;Carroll Morgan

  • Additive and Multiplicative Notions of Leakage, and Their Capacities

    Mario S. Alvim;Konstantinos Chatzikokolakis;Annabelle Mciver;Carroll Morgan

  • A process algebra for wireless mesh networks

    Ansgar Fehnker;Rob van Glabbeek;Peter Höfner;Annabelle McIver

  • Automated analysis of AODV using UPPAAL

    Ansgar Fehnker;Rob van Glabbeek;Peter Höfner;Annabelle McIver

  • Generalised Differential Privacy for Text Document Processing

    Natasha Fernandes;Natasha Fernandes;Mark Dras;Annabelle McIver

  • Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

    Friedrich Gretz;Friedrich Gretz;Joost-Pieter Katoen;Annabelle Mciver

  • Compositional closure for Bayes Risk in probabilistic noninterference

    Annabelle McIver;Larissa Meinicke;Carroll Morgan

  • Abstract channels and their robust information-leakage ordering

    Annabelle McIver;Carroll Morgan;Geoffrey Smith;Barbara Espinoza

  • A new proof rule for almost-sure termination

    Annabelle McIver;Carroll Morgan;Benjamin Lucien Kaminski;Joost-Pieter Katoen

  • ENUMERATING FINITE GROUPS

    Annabelle Mciver;Peter M. Neumann

  • Results on the quantitative μ-calculus qMμ

    Annabelle McIver;Carroll Morgan

  • Partial correctness for probabilistic demonic programs

    A. K. McIver;Carroll Morgan

  • Abstraction and refinement in probabilistic systems

    Annabelle McIver;Carroll Morgan

  • Games, Probability, and the Quantitative µ-Calculus qMµ

    Annabelle McIver;Carroll Morgan

  • Conditioning in Probabilistic Programming

    Federico Olmedo;Friedrich Gretz;Nils Jansen;Benjamin Lucien Kaminski

Frequent Co-Authors

Carroll Morgan
Carroll Morgan University of New South Wales
Catuscia Palamidessi
Catuscia Palamidessi French Institute for Research in Computer Science and Automation - INRIA
Rob van Glabbeek
Rob van Glabbeek Stanford University
Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Andrei Voronkov
Andrei Voronkov University of Manchester
Edith Cohen
Edith Cohen Tel Aviv University
Yiannis Papadopoulos
Yiannis Papadopoulos University of Hull
Andrew D. Gordon
Andrew D. Gordon Microsoft (United States)
Gilles Barthe
Gilles Barthe Max Planck Institute for Security and Privacy
Geoff Sutcliffe
Geoff Sutcliffe University of Miami

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens the door not only to traditional tech roles but also to a variety of related fields and flexible learning options. With the rise of accessible education, many students now consider fast track computer science degree programs to accelerate their learning and quickly enter the workforce.

Admissions requirements can vary widely among programs. If you’re concerned about academic performance, it’s important to research whether will grad schools accept low gpa, as some online colleges provide opportunities for students with less competitive transcripts.

Computer Science graduates can explore interdisciplinary paths, such as environmental science or engineering. For instance, professionals interested in environmental impact can consider pursuing an environmental engineering online degree, which combines technology and sustainability. Additionally, if you’re curious about green technologies or policy, a degree in the field of environmental science degree offers diverse career directions in both public and private sectors.

Best Scientists Citing Annabelle McIver

Trending Scientists

Recently Published Articles