Skip to main content

Matthew Brecknell

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:http://matthew.brecknell.net

More contact information is available at the Contact page.

Photo of Matthew Brecknell

Projects

Current

Qualifications

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

Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.