I am a research leader in the Software Systems Group at NICTA and I am heading the research and development of the Goanna tool that combines model checking with static analysis for C/C++ source code analysis. Goanna is available commercially as well as for academic use.
My main research interests are in the formal analysis and verification of large scale real-life embedded systems. This includes working on tools an techniques related to model checking, abstract interpretation, SMT solving and static analysis. Applications areas are software bug detection, automated quality assurance and software security.
NEW: ATVA 2014: International Symposium on Automated Technology for Verification and Analysis
NEW: FM 2014: International Symposium on on Formal Methods
NEW: SSV 2014: Systems Software Verification Confrence
Recent: FTSCS 13: International Workshop on Formal Techniques for Safety-Critical Systems
Recent: TTSS 13: The 6th International Workshop on Harnessing Theories for Tool Support in Software
DOWNLOAD: Goanna static analyzer now at http://www.redlizards.com