• 1080 Citations
  • 18 h-Index
1987 …2021
If you made any changes in Pure these will be visible here soon.

Activities 2001 2019

Marta Kwiatkowska

Annabelle McIver (Host)
29 Apr 201930 Apr 2019

Activity: Hosting a visitorHosting an academic visitor

Proofs for differential privacy

Annabelle McIver (Speaker)
1 Dec 20194 Dec 2019

Activity: Talk or presentationInvited talk

Experiments in information flow

Annabelle McIver (Speaker)
7 Oct 2019

Activity: Talk or presentationInvited talk

Third World Congress on Formal Methods

Annabelle McIver (Participant)
7 Oct 201911 Oct 2019

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

Mário S. Alvim

Annabelle McIver (Host)
3 Jun 201925 Jun 2019

Activity: Hosting a visitorHosting an academic visitor

International Conference on Quantitative Evaluation of Systems

Annabelle McIver (Participant)
4 Sep 20187 Sep 2018

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

Quantitative Evaluation of Systems (QEST) (Event)

Annabelle McIver (Chair)
1 Oct 20181 Oct 2021

Activity: MembershipMembership of board

Qualitative and quantitative information flow with applications to security

Annabelle McIver (Speaker)
31 Jul 201811 Aug 2018

Activity: Talk or presentationInvited talk

Processing Text for privacy (Keynote)

Annabelle McIver (Speaker)
14 Jul 2018

Activity: Talk or presentationInvited talk

By-ways of Big Data - The Question of De-identification (Panel Moderator)

Annabelle McIver (Speaker)
26 Jul 2018

Activity: Talk or presentationInvited talk

ETH Zurich

Annabelle McIver (Visiting researcher)
15 Jul 201631 Dec 2018

Activity: Visiting an external institutionVisiting an external academic institution

Massachusetts Institute of Technology

Annabelle McIver (Visiting researcher)
1 Sep 20071 Jan 2008

Activity: Visiting an external institutionVisiting an external academic institution

International Federation for Information Processing (External organisation)

Annabelle McIver (Chair)
1 Jan 2001

Activity: MembershipMembership of board