Incompleteness and Undecidability
These are lectures given at Stanford in spring 2014. There are links to exercises and to the final exam.
Notes on Minimal Surfaces
These notes were prepared in 2007 for a seminar at San Jose State University.
Notes on Enneper's Surface
Elementary and less elementary calculations about Enneper's surface, including the first four variations of Dirichlet's integral and a proof of Ruchert's uniqueness theorem.