I'm a Senior Researcher with National ICT Australia , UNSW node, and leading the Goanna project. I'm also a Conjoint Senior Lecturer with the School of Computer Science and Engineering.

Office: Room E523, L5 Building
Phone: +61 2 8306 0493
Fax: +61 2 8306 0405
Email:
Mail: National ICT Australia Limited
University of NSW, Locked Bag 6016,
NSW 1466, Australia

Research topics include the modeling and verification of embedded systems, software verification, and domain specific design languages. I focus on algorithmic verification such as model checking, abstract interpretation, and data flow analysis.

NEW: FM2009: 16th FM Symposium and 2nd World Congress, Eindhoven, 2009
NEW: Journal of Automated Reasoning: Special Issue On Operating Systems Verification


Google