Michael Sussman's resume in PDF.