David A. Wheeler

@davidawheeler.bsky.social

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