Priniple designer of Pilot ACE. Created the technique of 'backward error analysis', advanced the field of matrix computations.