Quietly obsessive and proof-driven, I turn messy product + data + security problems into resilient systems, old-school rigor, modern tools, shipped in public and thought through in private.