I do research on constraint and probabilistic logic programming languages, with applications to HCI and NLP. This work is currently best represented by my Chez Scheme implementation of miniKanren, minnaKanren, 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).
