Research

Notes about my work

Teaching

Notes on my teaching philosophy and experience

books

posts related to books

lean-ualib

Documentation for background theory underlying the lean-ualib

Python, Jython, and Sage

Math PhD Exams

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

Congruences of Partial Algebras

I don't always use recursion; but when I do, I don't always use recursion.

Conferences in Algebra

java on linux

The Palfy-Saxl Problem

3-SAT and partition lattices

Jane Street Test

pl

posts related to programming languages

Learn You an Agda

GroupSound

IEProps

Isotopy

Overalgebras

TypeFunc

Diaconescu's Theorem

about