Annabelle McIver

Annabelle K. McIver is a computer scientist whose research involves the use of formal methods and information flow in computer security and the verification of probabilistic systems. Educated in mathematics in the UK, she works in Australia as professor in the School of Computing at Macquarie University, and as one of the founding leaders of Macquarie's Future Communications Research Centre.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.