Immigrant, citizen, dead film star and Rocky Horror name-check, cyclist, cat lover, Prof, type-theorist, logician, functional programmer, watercolourist, vegan, Coq/Rocq-er, Lean-er etc. :-)

Kirikiriroa/Hamilton, Aotearoa/New Zealand