Calculated based on number of publications stored in Pure and citations from Scopus
1987 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile


Annabelle McIver trained as a mathematician at Cambridge and Oxford Universities. Her research uses mathematics to analyse security flaws in computer systems.

Annabelle has had a number of international visiting positions and fellowships at institutions such as MIT (USA), Birmingham (UK),  LRI and INRIA (France), ETH Zurich, and was a Junior Research Fellow in Mathematics at St Hilda's College, Oxford. She is a member of the Programming Methodology technical working group of the International Federation of Information Processing. She was (co-) recipient of th 2014 Best Cybersecurity Research Paper awarded by the US National Security Agency.

More about her research activities can be found at the Topete Research Group.

Research interests

Program verification, quantitative information flow, computer security, privacy.

Education/Academic qualification

Mathematics, DPhil, Finitely Generated Non-Hopf Modules, University of Oxford

Award Date: 1 Jul 1990

Mathematics, BA (Double First), University of Cambridge

Award Date: 1 Jul 1985

External positions

Visiting Researcher, ETH Zurich

15 Jul 201631 Dec 2016


Dive into the research topics where Annabelle McIver is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or