Worked in the Static Analysis group on the Coverity product after the acquisition of Goanna inlate 2015. I worked in the areas of compliance standards and CodeXM, a functional-like domain specific language for custom rules to be checked by the analysis engine. - Led the implementation of MISRA, CERT and AUTOSAR compliance standards in Coverity - Mentored and helped grow a large team of developers in China with onsite and remote training - Regularly provided input into CodeXM language design to make it a easy to use but expressive language

I worked as a Software Engineer on the Goanna Static Analysis engine for C and C++ until it was acquired by Synopsys in late 2015. I was responsible for parts of the core analysis engine, such as the dataflow analysis engine, as well as implementing new rules to detect defects in source code and violations in coding standards such as MISRA-C. In addition to this, I also extended the existing analysis engine to calculate code metrics and increased compatibility with vendor specific C/C++ compilers. - Written code predominately in OCaml, with some parts in C, C# and Java - Used functional programming methodologies and techniques - Provided and assisted sale partners with technical support to existing and prospective customers

Tutoring in ENGG1811, a course using Visual Basic (VBA) to teach first year engineering students programming.I have also guest lectured this course in an introduction to database systems.