Research

Notes about my work

Reading time: about 3 minutes (779 words).
Banner

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

Reading time: less than a minute (58 words).
Banner

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

Reading time: about 2 minutes (558 words).
Banner

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

Reading time: less than a minute (43 words).