about me

computer science

i am not naturally talented at math, but have always been fascinated by logic and language. that fascination drives my current interests: compilers and program analysis, systems programming, and cybersecurity.

i believe strongly in software engineering: i like writing correct and reliable software, especially for other programmers. i think that security engineering and quality engineering are, to a first approximation, the same thing.

some buzzkeywords: automated vulnerability reasoning, static and dynamic instrumentation, multi- and inter-representational analysis, program synthesis, applied cryptography, package management.

philosophy

logic and language are topics of interest for me in philosophy as well, but ethical philosophy appeals to me most of all. in particular, i am interested in theories of rights and duties, as well as the problems of coercion and exploitation as they concern and (de)legitimize choice. i am also interested in moral education as it applies to beneficence, charity and authenticity (of the good/bad faith kind), and public discourse.

check this out if labels are your kind of thing.

open source work

i spend a lot of time tinkering in the open source community, both on my own projects and on larger ones. in particular, i am a member of the homebrew development team and an active professional and hobby contributor to several other projects. most of my professional work is open source, and i like it that way. i am not interested in professional work that is primarily proprietary, although i am willing to work in a hybrid setting.

if you like my projects, you can support me with one of these services:

• GitHub Sponsors
• ko-fi

alternatively, you can support my work by using the referral links below when signing up for a service. they help me keep my own projects and research available:

• DigitalOcean