With Stanley Frankel and Nicholas Metropolis, he assisted in establishing a system for using IBM punched cards for computation.
Cùng với Stanley Frankel và Nicholas Metropolis, ông hỗ trợ thành lập lên một hệ thống sử dụng thẻ bấm lỗ của IBM dành cho việc tính toán.