I am a lecturer in the Department of Computer Science and Software Engineering at The University of Melbourne. My main research interests are high-integrity software engineering, verification, complex systems, and intelligent agents, specifically: Agent-oriented software engineering, especially methods for developing intelligent multiagent systems. Computational modelling and analysis of complex systems, particularly economic markets. Models of multi-agent interaction. Software testing. Specification animation. Tool support for formal specification languages, especially Z and Object-Z (see the Community Z Tools section below). You can learn more about my research by reading the papers on my publications page. I did my PhD at the University of Queensland, Australia, supervised by Paul Strooper. My PhD was titled "Using Specification Animation to support Specification Testing and Software Testing". Details of the project can be found here. Following this, I did a postdoc in the Department of Computer Science at the University of Liverpool. I was funded by the PIPS project (Personalised Information Platform for Health and Life Services), which aims to develop an eHealth system that is personalised to the user. My part of the project was specifying and designing part of a multi-agent system for supporting complex decision making.