Trustworthy Systems

Matthew Brecknell
Proof Engineer

Research Interests

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. He now works at Kry10.

Contact Details

Phone: +61 2 9490 5779

More contact information is available at the Contact page.

Photo of Matthew Brecknell



Career Summary

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.