I'm interested in developing secure software, free/open source software, and the combination. As a hobby I dabble in formal mathematics (doesn't everyone need a hobby?).

See https://dwheeler.com