# Annabelle McIver

> computer security researcher

**Wikidata**: [Q62055184](https://www.wikidata.org/wiki/Q62055184)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Annabelle_McIver)  
**Source**: https://4ort.xyz/entity/annabelle-mciver

## Summary
Annabelle McIver is a computer security researcher and university teacher who specializes in the mathematical foundations of secure systems. She currently works at Macquarie University and has made significant contributions to the fields of mathematics, computing, and information processing throughout her career.

## Biography
- Born: 1964
- Nationality: Not specified
- Education: 
  - Doctor of Philosophy, University of Oxford (1985-1990)
  - Bachelor of Arts, University of Cambridge (1982-1985)
- Known for: Contributions to computer security, mathematics, computing, and information processing
- Employer(s): Macquarie University (2019-present)
- Field(s): Computer security, mathematics, computing, information processing

## Contributions
Annabelle McIver has advanced the field of computer security by developing rigorous mathematical frameworks for verifying system security and identifying vulnerabilities. Her interdisciplinary approach bridges theoretical mathematics with practical computing applications, leading to more robust security protocols. At Macquarie University, where she has been employed since 2019, she continues to research formal methods for system verification and security analysis, influencing how complex digital systems are protected against evolving threats.

## FAQs
### Q: What are Annabelle McIver's main research areas?
A: Annabelle McIver's main research areas include computer security, mathematics, computing, and information processing. She particularly focuses on applying mathematical methods to verify the security of computer systems and networks.

### Q: Where did Annabelle McIver receive her education?
A: Annabelle McIver received her Bachelor of Arts from the University of Cambridge (1982-1985) and her Doctor of Philosophy from the University of Oxford (1985-1990).

### Q: What institutions has Annabelle McIver been affiliated with?
A: Annabelle McIver is currently affiliated with Macquarie University, where she has been employed since 2019. Past affiliations are not specified in the source material.

## Why They Matter
Annabelle McIver's work has strengthened the theoretical foundations of secure computing by applying rigorous mathematical approaches to security problems. Her interdisciplinary research combining mathematics, computing, and information processing has influenced how security protocols are designed and validated. At Macquarie University, her contributions help educate the next generation of security professionals while advancing methodologies for protecting increasingly complex digital systems against evolving threats.

## Notable For
- Pioneering work in the mathematical foundations of computer security
- Development of formal methods for system verification
- Interdisciplinary approach combining mathematics, computing, and information processing
- Long-term academic career focused on security research
- Employment at Macquarie University since 2019

## Body
### Personal Information
Annabelle McIver was born in 1964 and identifies as female. She primarily works in English.

### Academic Background
McIver received her Bachelor of Arts from the University of Cambridge between September 1982 and June 1985. She then pursued her Doctor of Philosophy at the University of Oxford from September 1985 to January 1990.

### Professional Career
Currently, McIver is employed at Macquarie University, where she has worked since January 4, 2019. She holds multiple professional identities including computer scientist, university teacher, mathematician, and information scientist.

### Research Focus
McIver's work spans several fields:
- Mathematics
- Computing
- Information processing
- Computer security

Her research particularly focuses on computer security, which involves protecting computer systems and networks from theft, damage, misuse, or data leaks.

### Identifiers
McIver has numerous academic identifiers:
- ISNI: 0000000108824600
- GND ID: 173575323
- VIAF ID: 27345812
- DBLP Author ID: m/AnnabelleMcIver
- Scopus Author ID: 6701850584
- Dimensions Author ID: 010631415565.73
- Google Scholar Author ID: 9fvUO9QAAAAJ

### Professional Affiliations
McIver is affiliated with several professional organizations and repositories:
- Macquarie University (current employer)
- ORCID (0000-0002-2405-9838)
- WorldCat Entities (E39PBJktjQHrTp9JHhGcf8VQv3)
- Library of Congress Authority (n2002015003)

## References

1. BnF authorities
2. Czech National Authority Database
3. Integrated Authority File
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-2405-9838/employment/4896836)
5. Virtual International Authority File
6. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-2405-9838/researcher-urls/1287702)
7. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-2405-9838/external-identifiers/859636)
8. [SciGraph](https://scigraph.springernature.com/person.010631415565.73)