Research

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.

News

NEW: FTSCS 12: International Workshop on Formal Techniques for Safety-Critical Systems
NEW: SSV'12: Conference on Systems Software Verification
RECENT: TTSS'11: 5th International Workshop on Harnesing Theories for Tool Support in Software
DOWNLOAD: Goanna static analyzer now at http://www.redlizards.com

Google