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 Research.

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

Currently I am also funded by National ICT Australia .

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 2010

• COMP229 Object Oriented Programming Practices
• COMP473 Advanced Algorithms

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.

Drafts:

This paper describes the theory underlying generating counterexamples for probabilistic inductive invariants counterexamples.pdf

Projects

• Adaptive and Verified Wireless Mesh Protocol (National ICT Australia, 2010--2012, with M Portmann (UQ and NICTA, Qld) and R van Glabbeek (NICTA, Sydney), $120K)

• Designing software for secrecy: Security-enabled programme algebra (ARC Discovery, 2010--2012, with CC Morgan (UNSW) and M Butler (Southampton, UK), $160K)

• 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

• Formal Methods, 2009.
• 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

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

Research Students

Past research students: Orieta Celiku.

Current students: Ukachukwu Ndukwu; Les Bell; Tahiry Rabehaja.

Honours Students

Past: Matthew Robinson; Enrico Susatyo.

ITEC Students

Past: Zhongbo Huang.

Other interesting links

• African Institute for Mathematical Sciences.
• 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-----