This page has moved to https://john.bacus.org/about/resume/.