Annabelle K. McIver is a computer scientist whose research involves the use of
formal methods and
information flow
In discourse-based grammatical theory, information flow is any tracking of referential information by speakers. Information may be ''new,'' just introduced into the conversation; ''given,'' already active in the speakers' consciousness; or ''old, ...
in
computer security
Computer security, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, the ...
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 research university based in Sydney, Australia, in the suburb of Macquarie Park. Founded in 1964 by the New South Wales Government, it was the third university to be established in the metropolitan area of S ...
, and as one of the founding leaders of Macquarie's Future Communications Research Centre.
Education
McIver read mathematics at the
University of Cambridge
, mottoeng = Literal: From here, light and sacred draughts.
Non literal: From this place, we gain enlightenment and precious knowledge.
, established =
, other_name = The Chancellor, Masters and Schola ...
, where she was awarded a double first in 1985. She completed a doctorate (D.Phil.) at the
University of Oxford
, mottoeng = The Lord is my light
, established =
, endowment = £6.1 billion (including colleges) (2019)
, budget = £2.145 billion (2019–20)
, chancellor ...
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. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
, 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