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 |
|---|---|
| Email: | matthew@brecknell.net |
| Twitter: | @mbrcknl |
More contact information is available at the Contact page.
Projects
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.