My main specialty is universal algebra; current projects focus on lattice theory, computational complexity, and universal algebraic approaches to constraint satisfaction problems. Other research interests include logic, category theory, type theory, functional programming, computer-aided mathematical proof and formalization of mathematics.

My research statement summarizes some of my research projects. Some of that information can also be found in this post.

I started a GitHub repository called UniversalAlgebra/Conferences in an effort to
keep up with the vast number of meetings in these areas and help make
summer travel plans accordingly.