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.
DOWNLOAD: Goanna static analyzer now at http://www.redlizards.com
Recent Program Committees/Chairs
NEW: ASE 2016: 31st IEEE/ACM International Conference on Automated Software Engineering
NEW: SAC SVT 2016: 31st ACM Symposium on Applied Computing - Software Verification and Testing
NEW: SG-CRC 2016: Inaugural Singapore Cyber Security R&D Conference
NEW: ICECCS 2015: 20th International Conference on Engineering of Complex Computer Systems
Recent: FM 2015: 20th International Symposium on Formal Methods / Industry Track
Recent: TAPAS 2015: The Sixth Workshop on Tools for Automatic Program Analysis
Recent: ATVA 2014: International Symposium on Automated Technology for Verification and Analysis
Recent: FM 2014: International Symposium on on Formal Methods
Recent: TTSS 2014:7th International Workshop on Harnessing Theories for Tool Support in Software
Recent: FTSCS 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