Es conocido por sus múltiples aportes a este campo.

en Matemáticas en la Universidad de California en 1961 y 1964, respectivamente.

[1]​ En 1955, comenzó a trabajar como analista de programas en General Dynamics.

En 1959 pasó a la RAND Corporation, donde fue jefe del departamento de ciencias informáticas hasta 1973.

Ha desempeñado servicios en varios diarios científicos, incluyendo las transacciones de instituto de Ingenieros Eléctricos y Electrónicos (IEEE) en la tecnología de dotación lógica, la computadora y el software de IEEE, revisiones que computaban de Association for Computing Machinery (ACM), la tecnología de dotación lógica automatizada, el proceso del software, y la tecnología de la información y del software.