Annabelle McIver

Annabelle K. McIver is a computer scientist whose research involves the use of formal methods and information flow in computer security and the verification of probabilistic systems.[1] Educated in mathematics in the UK, she works in Australia as professor in the School of Computing at Macquarie University,[2] and as one of the founding leaders of Macquarie's Future Communications Research Centre.[3]

  1. ^ Cite error: The named reference nsa was invoked but never defined (see the help page).
  2. ^ Cite error: The named reference profile was invoked but never defined (see the help page).
  3. ^ Cite error: The named reference fcrc was invoked but never defined (see the help page).