Notes about my work

Reading time: about 3 minutes (756 words).

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.


Notes on my teaching philosophy and experience

Reading time: about 2 minutes (558 words).

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


Documentation for background theory underlying the lean-ualib

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

(Shown above is a general formulation of composition of operations in dependent type theory, as derived here.)

This page will collect some posts that explain the technical notation and background needed to understand our formal implementation of universal algebra in the Lean theorem proving language.

Math PhD Exams

Exams in Group Theory, Ring Theory, Complex Analysis, and Real Analysis

Reading time: about 1 minute (322 words).

🔗 Comprehensive Exams in Mathematics