I'm a software engineer and sysadmin with a background in logic and decision theory. Past software work involves NLP and backend support of annotation pipelines producing linguistic datasets. I've been running and administering various UNIX-based systems for over 10 years.

Long standing interests: free and open source software, self-hosting, community education, open data, scientific models, proofs