Australian formal methods researcher and occasional OS-level programmer. Ex-industry, ex-NICTA/CSIRO. 🏳️‍🌈🏳️‍⚧️:Flag_Enby: Trans nonbinary person, 💍engaged to @leoadec. (Was at @robs 🐘 and @/robs_cse :birdsite:.)

(Avatar: Selfie of my face. Banner: Water babbling over rocks in the Blue Mountains.)