...there'd be days like these.

## Research

Notes about my work

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.

## Talks

Notes about my talks

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.

## Teaching

Notes on my teaching philosophy and experience

My **teaching statement** discusses my teaching philosophy and experience in great detail. Some of that information can also be found in this post.

## books

posts related to books