Annabelle McIver
From Wikipedia, the free encyclopedia
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]
McIver read mathematics at the University of Cambridge, where she was awarded a double first in 1985. She completed a doctorate (D.Phil.) at the University of Oxford in 1990.[2] Her dissertation, Non-Hopf modules for infinite soluble groups, concerned abstract algebra, and was jointly supervised by Peter M. Neumann and Martin B. Powell.[4]
