I do research on constraint and probabilistic logic programming languages, with eventual applications to HCI and NLP. This work is currently best represented by my Chez Scheme implementation of miniKanren, aiKanren, which is a port and extension of the earlier SmallTalk codebase, SmallKanren.

I also release tools for textmining, which I use in my digital historical work, including commandline tools for working with tabular text data (asv), text-centric vectors and matrices (svec), and data science pipeline provenance management (prov).