Dr Ralf Huuck

Adjunct Associate Professor, CSE, UNSW
Director & Senior Architecht, Synopsys Inc
Formerly CEO & co-Founder, Red Lizard Software

 

Research


I am a Adjunct Associate Professor and former leader in the Software Systems Group at NICTA heading the research and development of the Goanna tool that combines model checking with static analysis for C/C++ source code analysis.

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: Goanna Software acquired by Silicon Valley headquartered Synopsys Inc.
NEW: Goanna technology OEM licensed for embedded space.

Recent Program Committees/Chairs


NEW: SAC/SVT 2017: ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing
NEW: ATVA 2016: International Symposium on Automated Technology for Verification and Analysis
NEW: ASE 2016: 31st IEEE/ACM International Conference on Automated Software Engineering
NEW: 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