Annabelle McIver

Professor

Macquarie University (MQ) · School of Computing

Status Unknown

H-index

191

Papers

3,016

Citations

—

Active Grants

University Profile

Research Areas

Program VerificationQuantitative Information FlowComputer SecurityPrivacyDifferential PrivacyModel CheckingProbabilistic ChoiceInformation LeakageProbability Theory

AI Summary

麦考瑞大学计算学院教授，方向为程序验证、定量信息流、差分隐私与计算机安全。

Interested in working with Annabelle McIver?

Chat with Ola about this Professor →