Skip to main content

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.

Contact Details

Phone: +61 2 9490 5779
Email:Matthew.Brecknell@data61.csiro.au
Twitter:@mbrcknl
Blog:https://matthew.brecknell.net/

More contact information is available at the Contact page.

Photo of Matthew Brecknell

Projects

Current

Past

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.

Qualifications

Matthew holds a Bachelor of Engineering with Honours from The University of Queensland.

Served by Apache on Linux on seL4.