Skip to main content

Matthew Brecknell

Matthew Brecknell
Proof Engineer

Research Interests

Matthew is interested in functional programming, type theory, and formal verification by theorem proving.

Contact Details

Phone: +61 2 9490 5779
Mobile: +61 431 926 131
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