Title: [A biographical sketch.]