Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Annabelle McIver

Not registered as user yet

Name: Annabelle McIver

Bio: Annabelle McIver is a professor of Computer Science at Macquarie University in Sydney. Annabelle trained as a mathematician at Cambridge and Oxford Universities. Her research uses mathematics to prove quantitative properties of programs, and more recently to provide foundations for quantitative information flow for analysing security properties. She is co-author of the book “Abstraction, Refinement and Proof for Probabilistic Systems”, and of the forthcoming title "The Science of Quantitative Information Flow”.

Country: Australia

Affiliation: Macquarie University

Personal website: https://researchers.mq.edu.au/en/persons/annabelle-mciver

Research interests: Quantitative Program Analysis, Probabilistic Programming


APLAS 2019 Proving that Programs are Differentially Private
Session Chair of Program Analysis (part of Research Papers)
Show activities from other conferences

APLAS 2019-profile
View general profile