2001 Branigin Lectures