I’m a research-focussed computer programmer with a particular interest in blockchain technology, formal verification and programming languages.

Check out a blog post below or see my about page for more information.

• Butter from two CoWs - January 8, 2023
• Blockchain Tech at UNSW - May 29, 2018
• Announcing the Australian Senate Simulator 3000 - November 17, 2017
• Linux on the Intel DQ77KB - November 5, 2016
• Honours Thesis - September 18, 2016
• Fuck Your Corporate T-Shirt - April 15, 2016
• The Cult of Haskell - October 12, 2015
• Traits as Higher-order Functions - July 9, 2015
• Implementing a Generic Radix Trie in Rust - May 15, 2015
• How to Partially Bypass Gurobi's Academic IP Validation - April 29, 2014

Thanks for dropping by!