Annabelle McIver

Office:

Room 379, E6A

Email:

anabel at ics.mq.edu.au

Mail:

Department of Computing
Macquarie University
Sydney 2109, Australia

I am an Associate Professor in the Department of Computing and Director of Postgraduate Research. Currently I am a National ICT Australia Fellow working on formal approaches to performance evaluation of wireless protocols, and one of the founders of the Probability Uncertainty Group (PUG) within NICTA's Formal Methods Programme.

I am a member of the Programming Methodology technical working group (WG2.3) of the International Federation of Information Processing.

My other research interests include probabilistic logics and reasoning, tools for performance evaluation, and applications of probabilistic systems.

Honours projects

• Randomised security protocols
• Tools for safety-critical applications
• Performance evaluation of games with applications to quantum computing and biological systems

Units taught in 2006

• COMP225: Algorithms and Data Structures

Research Areas

• Formal methods; quantitative verification; specification and refinement; mathematical models; probability; programming logics and tools; games.

  Go here for a description of our work.

Publications

Go here for a full list of publications.

Full versions:

ICFEM07.pdf

FM08.pdf (Submitted to FM08.)

Automating safety analysis (Submitted to LPAR '08.)

Projects

• Hidden-state modelling for modular analysis of information flow, protection and risk evaluation (ARC Discovery, 2008--2010, with CC Morgan (UNSW), M Kwiatkowska (Oxford, UK) and M Butler (Southampton, UK), $180K)

• Increasing the effectiveness of quantitative verification (ARC Linkage International, 2005--2007 with CC Morgan (UNSW), M Kwiatkowska (Birmingham, UK) and J Hurd (Cambridge, UK), $10K)

• Performance evaluation for wireless networked protocols (National ICT Australia, 2005--2007 $80K)

• Algebraic Reasoning for serialisability in probabilistic transaction systems (ARC Discovery, with CC Morgan (UNSW) and T. Nipkow (TUM) $150K, 2005--2007)

• Economical and practical design and analysis of probabilistic distributed systems. ARC Discovery Grant with C.C. Morgan (UNSW), $669,000, 2003--2007.)

• Formal Reasoning Amidst Uncertainty. (In collaboration with and funded by Australia's Defence Science and Technology Organisation (DSTO), $13,000, 2002--2003.)

• Verification of randomised conflict-resolution in distributed systems using, automated reasoning tools. (Macquarie University Early Career Researcher Grant, $14,648, 2002--2003.)

Programme Committees

• TASE, 2007
• Quantitative Evaluation of Systems QEST, 2004, 2007..
• Quantitative Aspects of Programming Languages QAPL, 2005--2007.
• International Conference of B and Z Users ZB2005--2007.

Visiting Positions and Fellowships

• Visiting Scholar, CSAIL, MIT USA (2007)
• Visiting Fellow, Birmingham University UK (2006-)
• National ICT Australia Fellow (2005--2007)
• Visiting Professor at LRI and INRIA, France (2004).
• Junior Research Fellow (Mathematics), St. Hilda's College, Oxford (1989-1991)

Research Students

Other interesting links

• International Federation for Information Processing.
• Defence Science and Technology Organisation.
• Cambridge University Computer Laboratory.
• Oxford University Computing Laboratory.
• Turku Centre for Computer Science.
• Laboratoire de Recherche en Informatique.
• PRISM symbolic model checker.

My public key

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.4.7 (Darwin)

mQGiBEcBPF0RBACrxl0lQwvv4SSxbOcy8mT4KpwRwRsK4vZQq2K3n3RMULkdJLPd
oJaF5DOKfbbCd7/LpJwgxKaQmybgrRxsSs5nbKWFRSkKC1lcD42QzR9KWU2WaZLD
tvFaCLE5k5nYFMJFT248OeWsNc7l74lVxYZamuchQrn8pWYSAOV2/Y7QkwCgnILr
5XERey6wZwPM7gNN7TclrnsEAI/PO2yGMVRinffbeFqvOTzSdGgNb1y/jQwTle+8
J0AKt61tbnMSlPaJzbcfZefDvai7p47ZmdOia3p38/HNSnw7Rk/OrH3SsqjIIQH/
pcb0rdm4HAuzlrlgpofqDGaBKMOrsrG+VVBS0w6tGPJsvrBFGNQPi5KssltKrOyv
zK/+A/wKSXxF8mEojbGal6HOy9tUn0J+kRvHav2IFxqgA6r7UTbtNcKdKMv5gwTm
KHQtj1loigC7f0VSv1MKL+Qmp+LIBVuOnysr+vy1sPfNx9vJW7/9zPd/k5U3MeVu
c3UGA2cssI750zfxIDwClTuq1FXJ3ZVakX6HHQMsNU5RgCyb/rQnQW5uYWJlbGxl
IE1jSXZlciA8YW5hYmVsQGljcy5tcS5lZHUuYXU+iGAEExECACAFAkcBPF0CGwMG
CwkIBwMCBBUCCAMEFgIDAQIeAQIXgAAKCRC8yI1vIRWg2Qj5AJ94FfppeEBvS+Y1
J0UmDcqorAt6wQCeP63ulDEMGy1GQXS0BTl1Nmq09ae5Ag0ERwE8XRAIAN9J/xnC
VYQMVQGGOXYDWVqz9SRqAxPuTcSP4p/QwQd3rMZe0xgoGDor/yryM+zEL+TKry4t
LWgmiTjkHPYbsnjiPIG1z0QGZTqmFLKeN+mDeM1Kt2ecU65ZAwKpilzek/r8W22I
h0pDSmBhHEiXUzwXJj4IE5ALFylp/Z8DvmbuVzwlTyENXl0FxFb4hWjiibr10/ae
d0RkQ6zYuQW5WnAy4Qz/4WubxhA1K9u58noqLJMIQFjCL5E/vK6Rt9aA7fJjIH9p
wKIwzBzri0tPdr/t6e7pSqRhT2EK+9gEGgZAYi/BXFy++ph3RQuLxyQpSDmXB5H5
Vl3p7anpaX53necABA0H/iYAS3lPQ88DgMWZk60TyrefPiTu4Frr3WNaqP8pROCJ
SXg7YnK2W/4Ozk4034OkCvTsPPzZR/LsIj78+M7AV8xEpvWbFsbe5LmZHhA5MdKT
+R7/NIXSlV5k5akcd3il1KkT8JB3gV5xXKRFpfxyj6McApT4bSyvFfOm5edQJDVA
UNKltfaPDViFtfnsnB2VkRr8tmpHGqVdeI47uZMc3RkK4K6QijmgvfOL0urJtWC/
X6NPd5eHI2RKRjcUMD5kcAZ2+W3hGsNoF0CMY6PZ2ljLvQqZIo01+3fATvdB8TAT
H96fnvAs7JdS/MKITi2VjsgunriEpIf3Z9Nw3pCsCveISQQYEQIACQUCRwE8XQIb
DAAKCRC8yI1vIRWg2aEUAJ9Id9MNyUhoKm83CXH1MG/OzDofUwCfV6H5+FGsgZDM
BtEee3gc3tKSrhg=
=NK7J
-----END PGP PUBLIC KEY BLOCK-----