Annabelle McIver is Associate Professor in the Deparment of Computing, Macquarie University, Sydney, Australia. She has recently published (jointly) two texts in Formal Methods: one is a collection of articles by the internationally renowned membership of the IFIP Working Group 2.3 Programming Methodology; the other is the only full research text on probabilistic program abstraction, refinement and proof. She is the author of dozens of papers on Formal Methods ranging from highly theoretical (quantitative modal algebra) to extremely practical (automatic correctness verifiers for probabilistic systems).

She holds degrees in mathematics from Cambridge and Oxford (UK), and has worked in industry. Currently based at Macquarie University in Sydney, she is also a Fellow of Australias National ICT centre where she applies mathematically based program- correctness techniques to the design and deployment of wireless sensor networks.

In January 2008 Dr McIver taught a course in Functional Programming at the African Insitute for Mathematical Sciences, AIMS, Muizenberg and has since supervised an AIMS essay.