A concise biographical note.