Matthew is interested in formal verification of software, using mechanised theorem provers. His current challenge is figuring out how to rapidly, yet sustainably evolve large bodies of existing proofs to meet new requirements.
More contact information is available at the Contact page.
Matthew has previously worked as a software engineer in a range of industries, including finance, telecommunications and defence. He joined the Trustworthy Systems group at Data61 after developing an interest in formal verification.
Matthew holds a Bachelor of Engineering with Honours from The University of Queensland.