Helping others think in structured ways about how to more effectively prevent or respond to occasions where internet technology goes out of whack.

Academic background in logic.

Past work includes sysadmin contract work and software development related to NLP and backend support of annotation pipelines producing linguistic datasets.

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

Newer interests: distributed systems, queueing theory, formal verification of software, protocol analysis