Annabelle McIver
id:
annabelle-mciver-254-400901
title:
Annabelle McIver
text:
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. Educated in mathematics in the UK, she works in Australia as professor in the School of Computing at Macquarie University, and as one of the founding leaders of Macquarie's Future Communications Research Centre.
brand slug:
wiki
category slug:
encyclopedia
description:
Computer security researcher
original url:
https://en.wikipedia.org/wiki/Annabelle_McIver
date created:
date modified:
2023-07-26T00:22:46Z
main entity:
{"identifier":"Q62055184","url":"https://www.wikidata.org/entity/Q62055184"}
image:
fields total:
13
integrity:
14