I am based in Sydney, Australia. My interests are in computer programming, in particular type theory and proof assistants.
