I am a Principal Researcher and 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: Goanna technology OEM licensed for embedded space.
NEW: FM 2015: 20th International Symposium on Formal Methods / Industry Track
NEW: ATVA 2014: International Symposium on Automated Technology for Verification and Analysis
NEW: FM 2014: International Symposium on on Formal Methods
NEW: TTSS 2014:7th International Workshop on Harnessing Theories for Tool Support in Software
NEW: FFTSCS 2014: 3rd International Workshop on Formal Techniques for Safety-Critical Systems
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