I am a computer programmer and mathematician living in Sydney, Australia.
I am a great fan and advocate of functional programming: a clean, consise style of programming based on the lambda calculus, which among other benefits leads to a lower defect rate than popular imperative languages.
I am particularly fond of the Haskell programming language, which features an advanced optimising compiler and a suite of powerful features for high-level programming.
I maintain a strong interest in algebra, geometry, mathematical physics, type theory, theoretical computer science, and category theory, and am an active, albeit minor, contributor to the nLab.
I help organise the Sydney Type Theory (aka PLATYPUS) and Sydney Paper Club meetups.
If you like, you can read my pure mathematics PhD thesis in quantum algebra.