Experience

BrewAI

• Australia
• IT Services and IT Consulting
• 1 - 100 Employee

• Senior Software Engineer

  • May 2022 - Present

  Sydney ● Data analytics and machine learning platform ● Cloud infrastructure



Logilica

• Australia
• Software Development
• 1 - 100 Employee

• Principal Software Engineer

  • May 2019 - May 2022

  Sydney, Australia ● Designed and developed a software intelligence platform featuring ETL multi-stage data processing, automated ingestion and analysis, OLAP Cube-based query system, custom charting and dashboard creation, and specialised drilldown views. Enabling better insights into all aspects into software development life cycle ● Services and consulting for SAST, compliance, automotive, verification, and related areas



Synopsys Inc

• United States
• Software Development
• 700 & Above Employee

• Staff Software Engineer

  • Dec 2015 - Apr 2019

  Sydney, Australia ● Design and implementation of a new custom checker development DSL – CodeXM, a functional language with type checking/inference. Extended it to leverage the full analysis capability of Coverity, including inter-procedural path-sensitive analysis and dataflow analysis ● Expansion of Coverity's coding standard/compliance coverage - more checkers and better workflow ● Bootstrapping a new SIG team in Wuhan for compliance rule writing and embedded compiler support ● Integration of Goanna… Show more ● Design and implementation of a new custom checker development DSL – CodeXM, a functional language with type checking/inference. Extended it to leverage the full analysis capability of Coverity, including inter-procedural path-sensitive analysis and dataflow analysis ● Expansion of Coverity's coding standard/compliance coverage - more checkers and better workflow ● Bootstrapping a new SIG team in Wuhan for compliance rule writing and embedded compiler support ● Integration of Goanna technology into Coverity Show less



NICTA

• Research
• 1 - 100 Employee

• Software Engineer

  • Nov 2014 - Dec 2015

  Sydney, Australia ● Developed Goanna static code analyser for software bug detection in C/C++ code. Goanna's Syntactical Model Checking approach combines traditional program analysis and Model Checking in a beautiful way. It also features other sophisticated static analysis techniques including Abstract Interpretation, CEGAR-style False Path Elimination with SMT solver and inter-procedural analysis



Intel Corporation

• United States
• Semiconductor Manufacturing
• 700 & Above Employee

• Research Scientist

  • Jul 2008 - Aug 2014

  Beijing, China ● Led the invention and development of a timed SystemC TLM and FPGA co-emulation platform for fast yet accurate pre-silicon system-level performance evaluation of co-designed SoCs with real application workloads ● Developed innovative prototype tools for fast customisation of mobile devices, including kernel-level (mutable) Record & Replay using LLVM plugins and Symbolic-Execution-guided testing in the Simics simulator ● Contributed to a compilation framework for an advanced Partial… Show more ● Led the invention and development of a timed SystemC TLM and FPGA co-emulation platform for fast yet accurate pre-silicon system-level performance evaluation of co-designed SoCs with real application workloads ● Developed innovative prototype tools for fast customisation of mobile devices, including kernel-level (mutable) Record & Replay using LLVM plugins and Symbolic-Execution-guided testing in the Simics simulator ● Contributed to a compilation framework for an advanced Partial Vectorisation instruction set architecture ● Studied and evaluated a system-level Dynamic Binary Translation system in a prototype co-designed processor, and provided recommendations for improvement. Investigated the safety and reliability of state-of-the-art Dynamic Binary Translation Systems ● Ported a set of AHB devices and their Linux drivers to a prototype x86 SoC. Contributed to a patent-pending hardware-software solution for fast cross-architecture OS porting with minimal code modification ● Investigated possible technical approaches for enforcing privacy protection with untrusted apps in the Spark™ Big-Data processing framework through a combination of TPM-based approaches and formal methods including Information Flow Control and Program Verification Show less



University of Science and Technology of China

• China
• Research
• 700 & Above Employee

• Research Assistant

  • Sep 2005 - Jun 2008

  China ● Investigated advanced topics in programming language theory, especially Hoare-style formal program verification at assembly level (Proof-Carrying Code) ● Contributed to the design of a general verification framework for garbage collectors and their interaction with mutators. Constructed machine-checkable formal correctness proofs of several garbage collectors using the Coq interactive proof assistant