Research

I am a Adjunct Associate Professor and former leader in the Software Systems Group at NICTA/DATA61. I lead the research and development of the Goanna product that combines model checking with static analysis for C/C++ source code analysis. After a highly successful spinout and exit to Synopsys we recently moved into the Software Intelligence space underpinned by data analytics research.

My main research interests are in the formal analysis and analytics of large scale real-life systems. This includes working on tools an techniques related to model checking, abstract interpretation, data analytics and static analysis. Applications areas are cyber security, automated quality assurance and engineering productivity.

News

NEW:Founding of DevOps and Git Analytics company Logilica.
Recent: Keynote: SG-CRC 2018: 3rd Singapore Cyber Security R&D Conference
Recent: Goanna Software acquired by Silicon Valley headquartered Synopsys Inc.
Recent: Goanna technology OEM licensed for embedded space.

Recent Program Committee Memberships/Chairs

NEW: SAC-SVT 2023: 38th ACM/SIGAPP Symposium on Applied Computing
NEW: ETAPS 2022: 25th International Conference on Fundamental Approaches to Software Engineering
NEW: SAC-SVT 2022: 37th ACM/SIGAPP Symposium on Applied Computing
Recent: SCAM 2021: Working Conference on Source Code Analysis and Manipulation
Recent: SAC-SVT 2021: 36th ACM/SIGAPP Symposium on Applied Computing
Recent: SAC-SVT 2020: 35th ACM/SIGAPP Symposium on Applied Computing
Recent: iFM 2019: 15th International Conference on integrated Formal Methods
Recent: FTSCS 2019: Workshop on Formal Techniques for Safety-Critical Systems
Recent: SCAM 2019: Working Conference on Source Code Analysis and Manipulation
Recent: SAC/SVT 2019: ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing
Recent: FTSCS 2018: Workshop on Formal Techniques for Safety-Critical Systems
Recent: SCAM 2018: Working Conference on Source Code Analysis and Manipulation
Recent: CASE 2018: IEEE International Conference on Automation Science and Engineering
Recent: SAC/SVT 2018: ACM Symposium on Applied Computing - Software Verification and Testing
Recent: SCAM 2017: Working Conference on Source Code Analysis and Manipulation
Recent: SAC/SVT 2017: ACM Symposium on Applied Computing - Software Verification and Testing
Recent: FM 2016: 21st International Symposium on Formal Methods - Industry Track
Recent: ATVA 2016: International Symposium on Automated Technology for Verification and Analysis
Recent: ASE 2016: 31st IEEE/ACM International Conference on Automated Software Engineering
Recent: SCAM 2016: International Working Conference on Source Code Analysis and Manipulation
Recent: FTSCS 2016: Fifth International Workshop on Formal Techniques for Safety-Critical Systems
Recent: SAC SVT 2016: 31st ACM Symposium on Applied Computing - Software Verification and Testing
Recent: SG-CRC 2016: Inaugural Singapore Cyber Security R&D Conference
Recent: 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