Research

Notes about my work

Reading time: about 10 minutes (2031 words).
Banner

NEWS! (2021 Mar 7) The long paper on arXiv describing the library is already outdated. However, the complete and always-up-to-date html documentation of the Agda UALib is available on the main ualib.org website.

Pdf documentation will appear in a series of three papers, the first of which is now available as ualib-part1.pdf. Parts 2 and 3 are in the works. Stay tuned.

(2021 Jan 20) I am very pleased to announce that on 12 January 2021 I achieved my goal of constructing a formal, machine-checked proof of Birkhoff's variety theorem in dependent type theory using the Agda programming language.

Talks

Notes about my talks

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

A repository containing the files associated with many of my talks can be found at github.com/williamdemeo/Talks.

đź”— 2020

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).