Research

I am an Adjunct Associate Professor in automated reasoning group and founder of several high-tech startups.

CEO at NeoHive, a deep-tech company building context engineering for AI. NeoHive is a cognitive memory solution for unlimited context memory that supercharges Claude/CoPilot/ChatGPT/Cursor while massively reducing token costs.

Founded Logilica, a Software Engineering Intelligence company that enables engineering teams to ship faster, underpinned by data analytics and genAI research.

Former principal scientist in the Software Systems Group at NICTA/CSIRO. I led the research and development of Goanna, a static analysis solution based on software model checking for C/C++ application security. Acquired by Synopsys.

My research sits at the intersection of program analysis and AI for software engineering. Foundational work spans model checking, abstract interpretation, and static analysis, with applications in cyber security and automated quality assurance. Current interests center on the cognitive memory and context engineering that AI coding systems need to reason reliably over large, evolving codebases: memory architectures for LLMs, AST-aware context construction, and measuring the impact of AI across the software development lifecycle.

News

2026:Founded context engineering company NeoHive.
2019:Founded software engineering intelligence company Logilica.
2015: Goanna Software acquired by Synopsys Inc.
2012: Goanna technology OEM licensed to leading embedded softare vendor.

Past Program Committee Memberships/Chairs

Past: SAC-SVT 2023: 38th ACM/SIGAPP Symposium on Applied Computing
Past: ETAPS 2022: 25th International Conference on Fundamental Approaches to Software Engineering
Past: SAC-SVT 2022: 37th ACM/SIGAPP Symposium on Applied Computing
Past: SCAM 2021: Working Conference on Source Code Analysis and Manipulation
Past: SAC-SVT 2021: 36th ACM/SIGAPP Symposium on Applied Computing
Past: SAC-SVT 2020: 35th ACM/SIGAPP Symposium on Applied Computing
Past: iFM 2019: 15th International Conference on integrated Formal Methods
Past: FTSCS 2019: Workshop on Formal Techniques for Safety-Critical Systems
Past: SCAM 2019: Working Conference on Source Code Analysis and Manipulation
Past: SAC/SVT 2019: ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing
Past: FTSCS 2018: Workshop on Formal Techniques for Safety-Critical Systems
Past: SCAM 2018: Working Conference on Source Code Analysis and Manipulation
Past: CASE 2018: IEEE International Conference on Automation Science and Engineering
Past: SAC/SVT 2018: ACM Symposium on Applied Computing - Software Verification and Testing
Past: SCAM 2017: Working Conference on Source Code Analysis and Manipulation
Past: SAC/SVT 2017: ACM Symposium on Applied Computing - Software Verification and Testing
Past: FM 2016: 21st International Symposium on Formal Methods - Industry Track
Past: ATVA 2016: International Symposium on Automated Technology for Verification and Analysis
Past: ASE 2016: 31st IEEE/ACM International Conference on Automated Software Engineering
Past: SCAM 2016: International Working Conference on Source Code Analysis and Manipulation
Past: FTSCS 2016: Fifth International Workshop on Formal Techniques for Safety-Critical Systems
Past: SAC SVT 2016: 31st ACM Symposium on Applied Computing - Software Verification and Testing
Past: SG-CRC 2016: Inaugural Singapore Cyber Security R&D Conference
Past: ICECCS 2015: 20th International Conference on Engineering of Complex Computer Systems
Past: FM 2015: 20th International Symposium on Formal Methods / Industry Track
Past: TAPAS 2015: The Sixth Workshop on Tools for Automatic Program Analysis
Past: ATVA 2014: International Symposium on Automated Technology for Verification and Analysis
Past: FM 2014: International Symposium on on Formal Methods
Past: TTSS 2014:7th International Workshop on Harnessing Theories for Tool Support in Software
Past: FTSCS 2014: 3rd International Workshop on Formal Techniques for Safety-Critical Systems
Past: FTSCS 13: International Workshop on Formal Techniques for Safety-Critical Systems
Past: TTSS 13: The 6th International Workshop on Harnessing Theories for Tool Support in Software