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

More contact information is available at the Contact page.

Photo of Matthew Brecknell