Annabelle K. McIver is a computer scientist whose research involves the use of

formal methods In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...

and

information flow In discourse-based grammatical theory, information flow is any tracking of referential information by speakers. Information may be ''new,'' i.e., just introduced into the conversation''; given,'' i.e., already active in the speakers' consciousne ...

computer security Computer security (also cybersecurity, digital security, or information technology (IT) security) is a subdiscipline within the field of information security. It consists of the protection of computer software, systems and computer network, n ...

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 Macquarie University ( ) is a Public university, public research university in Sydney, New South Wales, Australia. Founded in 1964 by the New South Wales Government, it was the third university to be established in the Sydney metropolitan area. ...

, and as one of the founding leaders of Macquarie's Future Communications Research Centre.

Education

McIver read mathematics at the

University of Cambridge The University of Cambridge is a Public university, public collegiate university, collegiate research university in Cambridge, England. Founded in 1209, the University of Cambridge is the List of oldest universities in continuous operation, wo ...

, where she was awarded a double first in 1985. She completed a doctorate (D.Phil.) at the

University of Oxford The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest un ...

in 1990. Her dissertation, ''Non-Hopf modules for infinite soluble groups'', concerned

abstract algebra In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structur ...

, and was jointly supervised by

Peter M. Neumann Peter Michael Neumann OBE (28 December 1940 – 18 December 2020) was a British mathematician. His fields of interest included the history of mathematics and Galois theory. Biography Born in December 1940, Neumann was a son of the German-bo ...

and Martin B. Powell.

Books

McIver is a co-author of ''The Science of Quantitative Information Flow'' (Springer, 2020, with M. S. Alvim, C. Palamidessi, K. Chatzikokolakis, C. Morgan, and G. Smith), and of ''Abstraction, Refinement and Proof for Probabilistic Systems'' (Springer, 2005, with C. Morgan).

References

External links

Topete research group
{{DEFAULTSORT:Mciver, Annabelle Year of birth missing (living people) Living people Alumni of the University of Cambridge Alumni of the University of Oxford Australian computer scientists Australian women computer scientists Academic staff of Macquarie University