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: Goanna static analyzer now at http://www.redlizards.com
NEW: TTSS 09: 3rd Workshop on Harnessing Theories for Tool Support in Software
NEW: SSV 09: 4th International Workshop on Systems Software Verification
NEW: FM2009: 16th FM Symposium and 2nd World Congress, Eindhoven, 2009


Google