Biographical sketch

Biographical sketch.