Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Also hanging out at Mathstodon.