I write Haskell, Scala and DAML at Digital Asset in Sydney, Australia.

I like programming languages (Haskell, Idris, Scala, …), type theory and mathematics.

I help organise Sydney Type Theory (aka PLATYPUS) and Sydney Paper Club.

If you like, you can read my pure mathematics PhD thesis in quantum algebra.