...there'd be days like these.
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.
A repository containing the files associated with many of my talks can be found at github.com/williamdemeo/Talks.
Here's a link to some materials describing a talk I gave at the 2020 Joint Mathematics Meetings in Denver Colorado in which I briefly introduce the Agda Universal Algebra Library.
My teaching statement discusses my teaching philosophy and experience in great detail. Some of that information can also be found in this post.